-
Marc Coiffier authored
Correct the behavior `type_of` function, causing it to fail on ill-typed terms instead of falsely succeeding It was useful for debugging, though...
6d0b2858
Correct the behavior `type_of` function, causing it to fail on ill-typed terms instead of falsely succeeding It was useful for debugging, though...