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