Call-by-value and call-by-name: A simple proof of a classic theorem. ~ D. Biernacki, J. McKinna, & F. Sieczkowski. pure.hw.ac.uk/ws/portalfil... #ITP #Adga #FunctionalProgramming

Our newest girls, we added 4 more!#adga #nigeriandwarf #goats #homestead

This is the provincially funded report by #ADGA completed 2021. It’s 52 pages and comprehensive. www.princeedwardisland.ca/sites/defaul...

Scanned some goats to count some babies. #adga #nigeriandwarfgoats