+Practical Dependent Types in Haskell

Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.