An interpreter for a simple, statically-typed, functional language.
schmim.bnfc defines the grammar recognized by the Schmim parser.
schmim.bnfc