Popular repositories Loading

1. aopa aopa Public

   Algebra of Programming in Agda: Dependent Types for Relational Program Derivation

   Agda 79 9

2. foundations-harper foundations-harper Public

   Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.

   Agda 54 2

3. mrm mrm Public

   Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types

   Haskell 9 2

4. mds mds Public

   Code and Proofs Related to the Paper "Functional Pearl: Finding a Densest Segment"

   Agda 2

5. monad-reasoning monad-reasoning Public

   TeX 2

6. plfp plfp Public

   CSS 1