-
Marc Coiffier authored
Correct the 'mu' combinator for the dependent case (external variable capture was not well taken into account, if at all)
3bd52e99
Correct the 'mu' combinator for the dependent case (external variable capture was not well taken into account, if at all)