Lift algebraic structures from setoids to quotient sets
-
Updated
May 13, 2012
Lift algebraic structures from setoids to quotient sets
A formalisation of PCF in Agda using naive nominal binding
Merge sort correctness proof
Extending a toy compiler written in Agda... by Proving It Correct!
A workshop on learning Agda with minimal prerequisites.
Category theory applied to functional programming
Messing around with propositional logic in Agda
Agda from Nothing: Order in the Types
A tiny Haskell library to generate less than and equals comparators for Agda data types
Compilation of modal logic based functional language ML5 to JavaScript.
An Agda library for turning equations into bijections using the translation method
Mechanized formalization of Implicit resolution in Agda
This is a formalization of dialectica spaces.
Compiling Concurrency Correctly—Verifying Software Transactional Memory
Add a description, image, and links to the agda topic page so that developers can more easily learn about it.
To associate your repository with the agda topic, visit your repo's landing page and select "manage topics."