frontend/analtypes.icl · d72d21bdd1fdbdd487de5f180a3753f000ab448e · clean-compiler-and-rts / compiler · GitLab

Find file Blame History Permalink

bug fix: Improved unification algoritm for kinds · d72d21bd
Sjaak Smetsers authored Sep 06, 2001
```
Universally quantified types (parsing and inference)
```
d72d21bd