Fermat

Pinned Repositories

corecursive-type-class
A implementation of type class mechanism based on corecursive resolution
Language:Haskell40
dependent-fold
the agda codes for the paper: "Dependently Typed Folds for Nested Data Types"
Language:Agda60
FCR
Functional Certification for Rewriting
Language:Haskell10
fermat.github.io
Language:HTML30
Gottlob
Language:Grammatical Framework7 1 00
higher-rank
Language:Haskell30

Fermat's Repositories

Fermat/Gottlob
Language:Grammatical Framework7 1 00
Fermat/dependent-fold
the agda codes for the paper: "Dependently Typed Folds for Nested Data Types"
Language:Agda60
Fermat/corecursive-type-class
A implementation of type class mechanism based on corecursive resolution
Language:Haskell40
Fermat/fermat.github.io
Language:HTML30
Fermat/higher-rank
Language:Haskell30
Fermat/FCR
Functional Certification for Rewriting
Language:Haskell10