Patrick Bahr's repositories
contracts
A simple algebraic financial contract language
Language:Standard MLMIT000
DeepAG
Deep embedding of an attribute grammar language in Haskell
Language:Haskell000
emacs-waher-theme
Waher theme for emacs, based on dd-waher by dduckster for Sublime Text 2
Language:Haskell000
org-toodledo
Emacs enhancement for syncing org-mode tasks with Toodledlo
Language:Emacs Lisp000
packages-hoopl
Mirror of packages-hoopl repository. DO NOT SUBMIT PULL REQUESTS HERE