pthariensflame/lib-agda
My customized version of the Agda standard library
Developer Profile
pthariensflame
Discovered public repositories for pthariensflame in the GitHub catalog.
pthariensflame/elementscript-micro
A minimal Elementscript variant with which to experiment with infix homoiconicity.
pthariensflame/PolyBase
Hyper-polymorphic classes for Haskell
pthariensflame/ChannelT
Generalized stream processors
pthariensflame/scala-pipes
Bidirectional theoretically-sound iteratee-like pipelines in Scala with Scalaz
pthariensflame/pure-st
A (probably inefficient) implementation of the ST monad in pure Haskell
pthariensflame/injection-monad
A monad transformer for typed, manipulable injection.