Published June 30, 2020
| Version v2020.01.22
Software
Open
Tog⁺
Creators
- 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 |