3 ms·
It doesn't. It's not for you. It's type theory people having fun. Let them
by 3836293648 2y ago
It doesn't. It's not for you. It's type theory people having fun. Let them
- ninkendo 2y agoBut that’s why we have Haskell, as a little holiday resort for type theorists to get their fix in while not affecting working programmers too much. Looks like they’re trying to escape again.