An implementation of a subset of Miranda by Stefan Kahrs <smk@ed.ac.uk>, LFCS, no modules or files. Can be interactively switched between eager and lazy evaluation. Portable source in C from the author.