Pinned Repositories
corecursive-type-class
A implementation of type class mechanism based on corecursive resolution
dependent-fold
the agda codes for the paper: "Dependently Typed Folds for Nested Data Types"
FCR
Functional Certification for Rewriting
fermat.github.io
Gottlob
higher-rank
Fermat's Repositories
Fermat/Gottlob
Fermat/dependent-fold
the agda codes for the paper: "Dependently Typed Folds for Nested Data Types"
Fermat/corecursive-type-class
A implementation of type class mechanism based on corecursive resolution
Fermat/fermat.github.io
Fermat/higher-rank
Fermat/FCR
Functional Certification for Rewriting