Tecs - Term Checking System This repository contains the Tecs project. It is a DSL for programming language typechecking, to be used in conjunction with the Ters project.