Popular repositories Loading

1. deep-map deep-map Public

   Deeply nested, multiple key-type maps.

   Haskell 10 2

2. interval-patterns interval-patterns Public

   Intervals of ordered types, and their monoids under union and intersection.

   Haskell 10 2

3. hott-thesis hott-thesis Public

   Homotopy Type Theory as an Alternative Foundation to Mathematics

   TeX 9

4. haskell-yesod-quasiquotes haskell-yesod-quasiquotes Public

   2 1

5. list1 list1 Public

   Lists that are not null.

   Haskell 1

6. algebraic-actions algebraic-actions Public

   Concrete implementations of groups acting as modules over other types.

   Haskell 1