A formalization of [Just do It: Simple Monadic Equational Reasoning] (http://www.cs.ox.ac.uk/jeremy.gibbons/publications/mr.pdf) (J. Gibbons and R. Hinze, 2011) in Agda.
Requirements
- GHC 7.10.2
- Agda 2.5.1.1
- Agda standard library 0.12
- Abel
For more information, send an email to [email protected].