4 ms·
I couldn't agree more, classical linear logic leads to surprisingly concise definitions. Your day job sounds fascinating, would you mind expanding on it a bit?
by fmap 8y ago
I couldn't agree more, classical linear logic leads to surprisingly concise definitions.
Your day job sounds fascinating, would you mind expanding on it a bit?