3 ms·
This looks interesting! I get the impression there would not be much friction to implement some of these mechanisms in Haskell.
by ouroboros1 6y ago
This looks interesting! I get the impression there would not be much friction to implement some of these mechanisms in Haskell.
- solomonb 6y agoI think it would be a challenge without dependent types.