Assorted Agda code.
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
AgdaTutorial.agda
Lambda.agda
Makefile
OTT.agda
Parse.hs
Printf.agda
Quicksort.agda
Stack.agda
Stack.hs
Stream.agda
Telescope.agda
TypeCheck.agda
TypeIneq.agda
W.agda
test1