Skip to content
GitLab
Explore
Sign in
clean-compiler-and-rts
compiler
Repository
compiler
frontend
trans.icl
Find file
Blame
History
Permalink
Supply predef to generic dict unification;
· 0c6af29a
Diederik van Arkel
authored
Nov 08, 2002
Fix bug with arity checks; Fix bug with unification with universal quantors.
0c6af29a