Agda: Let's read the code!
Special thanks to my Patreon patrons:
Frederick Rowland
Alexander Kulnev
AnonMe
Long Nguyen
Sreyan Chakravarty
Nam Anh
duck
Naur
KKR
Coding videos have moved to my other channel: / @the_ant_farm
You can join my Patreon at / ants_are_everywhere .
Thanks for watching :)
Join Discord at: / discord
My Mastodon address is: https://mathstodon.xyz/@ants_are_ever...