Software Open Access

Tog⁺

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

Files (280.8 kB)
Name Size
LICENSE
md5:d5c9993b67e8b8bdbf60f30f288432df
3.0 kB Download
togt-2020.01.22.zip
md5:56a0d166d703051b6daa24be14d38066
277.8 kB Download
42
3
views
downloads
All versions This version
Views 4242
Downloads 33
Data volume 833.5 kB833.5 kB
Unique views 3030
Unique downloads 33

Share

Cite as