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

Tog⁺

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

Description

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

Files

togt-2020.01.22.zip

Files (280.8 kB)

Name Size Download all
md5:d5c9993b67e8b8bdbf60f30f288432df
3.0 kB Download
md5:56a0d166d703051b6daa24be14d38066
277.8 kB Preview Download