An autoprojector (self-applicable partial evaluator) for a large higher-order subset of the strict functional language Scheme, written by the Similix Group of DIKU. Similix treats source programs that use a limited class of side-effects, for instance inp