Explore projects

Agda source code for Intrinsically Correct Algorithms and Recursive Coalgebras

A Novel Initial Algebra Construction Formalized in Agda