-
Marc Coiffier authored
Correct the De Bruijn indices when inferring (and printing) the types and values of partially-applied 'mu' combinators
677b5fbe
Correct the De Bruijn indices when inferring (and printing) the types and values of partially-applied 'mu' combinators