Skip to content
GitLab
Explore
Sign in
clean-compiler-and-rts
compiler
Repository
compiler
frontend
check.icl
Find file
Blame
History
Permalink
universally quantified types added
· fb09c605
Sjaak Smetsers
authored
Aug 27, 2001
removed numbering of type variables in TypeDefs
fb09c605