hariharansrc / tscs-typechecker Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mb236/tscs-typechecker
A simple environment for type checking simple languages as part of the TSCS course of Uni Paderborn
Home Page: https://www.hni.uni-paderborn.de/swt/lehre/tscs/