hub.darcs.net :: dolio

dolio's repositories

• agda-share — random agda experiments
• bytestring-show — Efficient construction of readable byte strings from values (http://code.haskell.org/~dolio/)
• category-practice — Why you should learn category theory
• CC-delcont — A monadic implementation of multi-prompt delimited continuations (http://code.haskell.org/~dolio/)
• cmtt-talk-demo — Demo code for cmtt talk
• dolio-xkb — My own keyboard layout with support for handy symbol typing
• haskell-share — Random Haskell experiments
• haskell-syntax — Haskell syntax highlighting for vim
• hindley — A simple parser for suggesting indenting of Haskell source (http://code.haskell.org/~dolio/)
• logict — A backtracking logic programming monad (http://code.haskell.org/~dolio/)
• omega-sigma — experiments with partial functions in cubical Agda
• optimization-talk-demo — Some simple examples for demonstrating some aspects of optimization with GHC
• pts — A parser/type checker/evaluator for simple languages based on pure type systems (http://code.haskell.org/~dolio/)
• somewhere — Co-de-Bruijn and category theory
• tjoa
• turing — An Agda formalization of the halting problem for Turing machines
• unityped — Untyped lambda calculus with some theorems
• universes — Various universe constructions in Agda
• unpossible — agda development related to 'seemingly impossible' programs
• upts — A parser, type checker and evaluator for a type theory with universe polymorphism
• vam-test — Testing VAM with darcs
• vector-algorithms — Implementations of various algorithms for vector (http://code.haskell.org/~dolio/)
• vim-ghc-core — syntax highlighting for dumped ghc core files
• vim-hindley — Vim files for hindley Haskell indenting
• vimfiles — Cross-machine portions of my vim directory
• vimpacks — scripts for fetching the packages I use in vim