形: exercises in mind-bending Haskell
Haskell Coq
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
0CFA.hs
ANormalisation.hs
ArrayTraversal.hs
ArrowNormalisation.hs
BFS-DFS.hs
BeautifulFolding.hs
CodensitySet.hs
Cont.hs
DeforestFree.hs
DelayedApplicative.hs
DelayedApplicativeGADT.hs
DelayedApplicativeGADTModular.hs
DelayedApplicativeGADTModular2.hs
Delcont.hs
GADTZipper.hs
GeneralisedApplicative.hs
Generics1.hs
Generics2.hs
Generics3.hs
Generics4.hs
Graphs.hs
IdiomNormalisation.hs
LICENSE
ListMonads.hs
Mother.hs
OperationalSearchApplicative.hs
StreamFusionReassoc.hs
YonedaIsFunctor.coq