An implementation of the mechanical correspondence between algorithms for type checking
Home Page:http://github.com/ilyasergey/typechecker-transformations/wiki
Repository from Github https://github.comilyasergey/typechecker-transformationsRepository from Github https://github.comilyasergey/typechecker-transformations
