Tog⁺

  • Francesco Mazzoli (Ophavsmand)
  • Víctor López Juan (Bidrager)
  • Nils Anders Danielsson (Bidrager)
  • Ulf Norell (Bidrager)
  • Andrea Vezzosi (Bidrager)
  • Andreas Abel (Bidrager)
  • Andrés Sicard Ramírez (Bidrager)
  • Jesper Lloyd (Bidrager)

Data set

Beskrivelse

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
Dato for tilgængelighed30 jun. 2020
ForlagZENODO

Citationsformater