Tea is a strongly typed, imperative programming language, developed along with Nikodem Gapski for Program Semantics and Verification course. Example programs demonstrating language features can be found in good/ and bad/ directories.
Make sure you have ghc, bnfc, happy and alex installed. Then just run make.
To run your program:
./interpreter path/to/file.tea
To run tests:
./test.sh