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.