fiddling with the types of Laboratin.
tinkering with monads
emacs notes
css for dynamic programming with loeb.
Continuation passing monad.
Quickcheck.