hub.darcs.net :: dolio -> unityped -> files

Untyped lambda calculus with some theorems