Miracula 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.