Directory with source material for compiler
Copyright (c) 1992,1994 by Frank Pfenning

debruijn1/    --- from expressions to de Bruijn expressions, fragment
debruijn/     --- from expressions to expressions with de Bruijn indices
cls/          --- CLS machine
cpm/          --- continuation-passing machine
cxm/          --- contextual abstract machine