UlfNorell/agda-tactics
Public repository.
Developer Profile
UlfNorell
Discovered public repositories for UlfNorell in the GitHub catalog.
UlfNorell/agda-cufp
CUFP tutorial 2014
UlfNorell/agda-summer-school
Summer school on programming in Agda
UlfNorell/agda-prelude
Programming library for Agda
UlfNorell/statem-laws
Using quickspec on stateful code
UlfNorell/curves
Haskell library for drawing pretty pictures
UlfNorell/agda-test
Agda test
UlfNorell/insane
Toy typechecker for Insanely Dependent Types
UlfNorell/categories
Categories parametrized by morphism equality, in Agda