4 ms·
Interpreting :: as a typing judgement makes no sense here. What does make sense is interpreting :: as a list "cons", i.e. as : in Haskell.
by tromp 4y ago
Interpreting :: as a typing judgement makes no sense here.
What does make sense is interpreting :: as a list "cons", i.e. as : in Haskell.