Interpreter using SML (Prof. S. Arun Kumar, Course Project) (March, 2021 - May, 2021) Developed an interpreter for a language for Boolean Algebra in SML, using ML-Lex and ML-Yacc. Added support for functions and recursion, with a call-by-value evaluation strategy, and also implemented a type checker for the language.