TailChecker

TailChecker is type checker for a simple language with Lisp-like syntax
called TAIL.  The program is broken down in two components Parser and
Checker.