Skip to content
GitLab
Explore
Sign in
Register
Sven Keidel
iTypes
Repository
Branches
Overview
Active
Stale
All
Stale branches
list
cae4687d
·
working type checker for variant types in IncA
·
Sep 11, 2019
type-feature/sum
cae4687d
·
working type checker for variant types in IncA
·
Sep 11, 2019
type-feature/product
9e9abc95
·
reordering of haskell test cases for better grouping
·
Sep 24, 2019
type-feature/fo-recursive-types
0669d94f
·
add vision paper inca implementation
·
Oct 19, 2019
type-feature/adt
34ba88d4
·
eliminating type argument of check (harder to do because of complex program slice)
·
Oct 31, 2019