effectfully's repositories
inference-in-agda
A tutorial on how Agda infers things
agda-html-to-md
A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`
agda-stdlib
The Agda standard library
git-undo-el
A command for Emacs to regress or "undo" a region back through its Git history
haskell-challenges
Code challenges to solve with Haskell
hasktags-emacs
An automated TAGS generator for emacs for easier traversal of haskell code
non-constant-memory
showcase for conduit on non-constant memory usage