Popular repositories Loading

1. Gottlob Gottlob Public

   Grammatical Framework 7

2. dependent-fold dependent-fold Public

   the agda codes for the paper: "Dependently Typed Folds for Nested Data Types"

   Agda 6

3. corecursive-type-class corecursive-type-class Public

   A implementation of type class mechanism based on corecursive resolution

   Haskell 4

4. fermat.github.io fermat.github.io Public

   HTML 3

5. higher-rank higher-rank Public

   Haskell 3

6. FCR FCR Public

   Functional Certification for Rewriting

   Haskell 1