Popular repositories Loading

1. NarrowCheck NarrowCheck Public

   Prototype implementation of overlapping patterns for property-based testing

   Haskell 3

2. theoryofreach theoryofreach Public

   Agda accompaniment for the paper theory of reach

   Agda 2

3. LAnd LAnd Public

   Lazy, Commutative And based off MVars

   Haskell

4. strict strict Public

   Strictness analysis of functions with projections

   Haskell

5. parsing parsing Public

   Mess around with parsers

   Haskell

6. flp-agda flp-agda Public

   functional logic programming in agda

   Agda