> 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