Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
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
