Published June 30, 2020 | Version v2020.01.22
Software Open


  • 1. Chalmers University of Technology
  • 2. Gothenburg University
  • 3. IT University of Copenhagen
  • 4. Universidad EAFIT


Tog⁺, a dependent type checker using twin types.

Modified by Víctor López Juan from, 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


Files (280.8 kB)

Name Size Download all
3.0 kB Download
277.8 kB Preview Download