### logict

A backtracking logic programming monad.

- hackage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/logict
- latest: darcs get http://hub.darcs.net/dolio/logict
- reference:
*Backtracking, Interleaving, and Terminating Monad Transformers*

### CC-delcont

A monadic implementation of multi-prompt delimited continuations.

### uvector-algorithms

Implementations of various algorithms for uvector

### vector-algorithms

A port of uvector-algorithms to the vector package

- hackage: http://hackage.haskell.org/package/vector-algorithms
- latest: darcs get http://hub.darcs.net/dolio/vector-algorithms

### pts

A parser/type checker/evaluator for simple languages based on pure type systems.

- latest: darcs get http://hub.darcs.net/dolio/pts
- References: Heavily influenced by this blog post by Lennart Augustsson. ; A quick overview of pure type systems

### upts

A fork of sorts of pts. The constants and axioms can no longer be swaped out, so it is a particular language, rather than a template for many languages. Instead, upts is an experiment in implementing a type system with universe polymorphism.

- latest: darcs get http://hub.darcs.net/dolio/upts

### bytestring-show

Efficient construction of readable byte strings from values

### hindley

A simple parser that will suggest indentations for laying out Haskell source

- latest: darcs get http://hub.darcs.net/dolio/hindley

### cps-mtl

A bit of play with CPSed implementations of monads from the Monad Transformer Library, along with some minor improvements on the interface.

- latest: darcs get http://code.haskell.org/~dolio/cps-mtl/

### share

A variety of short programs in haskell done for my own investigation/amusement.

### share

Random one-off experiments and such in which someone might have interest