Popular repositories Loading

1. RealSimpleMusic RealSimpleMusic Public

   Music types and conversion function for Midi file and Lilypond for score rending.

   Haskell 3

2. Canon Canon Public

   Canons generated using RealSimpleMusic.

   LilyPond

3. Type-Driven-Development-With-Idris Type-Driven-Development-With-Idris Public

   Irwin Brady's Text, as of the end of 2015.

   Idris

4. TypesAndProgrammingLanguages TypesAndProgrammingLanguages Public

   Code samples in Haskell

   Haskell

5. MonadTransformersStepByStep MonadTransformersStepByStep Public

   https://page.mi.fu-berlin.de/scravy/realworldhaskell/materialien/monad-transformers-step-by-step.pdf

   Haskell

6. music music Public

   Haskell