3 ms·
No problem, just was eager to clarify :) FWIW there are macros like fn> that allow you to write (fn> :- Number [a :- Symbol] 1), but you lose the ability to wr
by ambrosebs 13y ago
No problem, just was eager to clarify :)
FWIW there are macros like fn> that allow you to write (fn> :- Number [a :- Symbol] 1), but you lose the ability to write ordered function types with multiple cases, so I don't use it very much.