Tog⁺

Tog⁺, a dependent type checker using twin types. Modified by Víctor López Juan from https://github.com/bitonic/tog, with some additional examples from Nils Anders Danielsson and others. This is a prototype used for running experiments and benchmarks about type-checking and unification, in particular those examples in the "examples/" directory. I make no guarantees that the implementation is free of bugs. Additional details on https://lopezjuan.com/project/togt