Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
tests
poly
part2.cd
Find file
Blame
History
Permalink
Only use the old typing of applications for ground types (not types with only...
· f3ca4bed
Kim Nguyễn
authored
Jul 11, 2014
Only use the old typing of applications for ground types (not types with only monomorphic variables)
f3ca4bed