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