[Agda] origin of "Agda"?

Miëtek Bak mietek at bak.io
Thu Jul 7 19:02:46 CEST 2016


> Thanks for the information! That answer was more colorful that I
> expected! Of course I immediately spent an hour looking up Agda the
> Hen videos on YouTube. I even found some in English.

You may enjoy the cover of van der Walt’s thesis, or indeed, the entire
thesis.
https://www.dropbox.com/s/k3q6oypxcz0vwd3/VanDerWalt2012.pdf

-- 
Miëtek
https://mietek.io


More information about the Agda mailing list