Skip to content
Blame History Permalink
  • Ronny Wichers Schreur's avatar
    bug fix, · e0c8f1db
    Ronny Wichers Schreur authored 
    - compute correct number of type variables in type scheme
- normalise if necessary
    e0c8f1db