Popular repositories Loading

1. type-combinators type-combinators Public

   Type level lists, pairs, sums, their operations, and their properties.

   Haskell 24 4

2. scheme-monads scheme-monads Public

   Framework for defining and using monads in Chez Scheme

   Scheme 11 2

3. string-typelits string-typelits Public

   A Haskell library providing type level 'String's, with decidable equality

   Haskell 4

4. xmonad-config xmonad-config Public

   Configuration file and extra modules for nifty XMonad usage.

   Haskell 3

5. type-combinators-quote type-combinators-quote Public

   Quasiquoters for the 'type-combinators' library.

   Haskell 2 2

6. scheme-html scheme-html Public

   scheme shorthand for HTML and PHP

   Scheme 1