ahf/twelf-experiments

Toy programs written while trying to learn the Twelf language.