Skip to content
GitLab
Explore
Sign in
Register
PLMZ
iTypes
Repository
itypes
inca-translation
solutions
pcf.exectests
models
template.mps
Find file
Blame
History
Permalink
added more models, problem with t1_t3 currently this version does not work
· e0853bc1
Pacak, André
authored
May 11, 2020
one problem is that there is now case for the beginning of type checking (empty context)
e0853bc1