3 ms·
And the REPL should warn you that if you have a value of type "t/n" it is probably a left-over from a previous definition of type t in the session.
by octachron 4y ago
And the REPL should warn you that if you have a value of type "t/n" it is probably a left-over from a previous definition of type t in the session.