Popular repositories Loading

1. supermonad supermonad Public

   A plugin for GHC to support super monads.

   Haskell 26

2. polymonad-proofs polymonad-proofs Public

   Agda proofs about polymonads

   Agda 8 1

3. diagrams-sunroof diagrams-sunroof Public

   A Diagrams backend using Sunroof to render using the HTML5 Canvas element.

   Haskell 3

4. presentation-gen presentation-gen Public

   Generates reveal.js presentations from Markdown

   CSS 1

5. chart-sunroof chart-sunroof Public

   Sunroof backend to the Chart library

6. polymonad-plugin polymonad-plugin Public

   Haskell