3 ms·
That's where linear logic differs, if you will. The highest voted comment in this sub-thread already alluded to that.
by posterboy 8y ago
That's where linear logic differs, if you will. The highest voted comment in this sub-thread already alluded to that.
- lmm 8y agoI'm a big fan of linear typing but I think of it as more like "consuming" the input than "changing" it.