Pinned Repositories
Canon
Canons generated using RealSimpleMusic.
lily-gen
MonadTransformersStepByStep
https://page.mi.fu-berlin.de/scravy/realworldhaskell/materialien/monad-transformers-step-by-step.pdf
RealSimpleMusic
Music types and conversion function for Midi file and Lilypond for score rending.
tomtitchener's Repositories
tomtitchener/RealSimpleMusic
Music types and conversion function for Midi file and Lilypond for score rending.
tomtitchener/Canon
Canons generated using RealSimpleMusic.
tomtitchener/lily-gen
tomtitchener/MonadTransformersStepByStep
https://page.mi.fu-berlin.de/scravy/realworldhaskell/materialien/monad-transformers-step-by-step.pdf
tomtitchener/music
tomtitchener/plfa.github.io
An introduction to programming language theory in Agda
tomtitchener/protolude
A sensible starting Prelude template.
tomtitchener/Type-Driven-Development-With-Idris
Irwin Brady's Text, as of the end of 2015.
tomtitchener/TypesAndProgrammingLanguages
Code samples in Haskell