Software Open Access
Víctor López Juan; Francesco Mazzoli; Nils Anders Danielsson; Ulf Norell; Andrea Vezzosi; Andreas Abel; Andrés Sicard Ramírez; Jesper Lloyd
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