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