Popular repositories Loading

1. deep-map deep-mapPublic

   Deeply nested, multiple key-type maps.

   Haskell 10 2

2. interval-patterns interval-patternsPublic

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

   Haskell 10 2

3. hott-thesis hott-thesisPublic

   Homotopy Type Theory as an Alternative Foundation to Mathematics

   TeX 9

4. haskell-yesod-quasiquotes haskell-yesod-quasiquotesPublic

   2 1

5. list1 list1Public

   Lists that are not null.

   Haskell 1

6. algebraic-actions algebraic-actionsPublic

   Concrete implementations of groups acting as modules over other types.

   Haskell 1