2 ms·
I feel like Idris would have a better experience for problems like this, quite excited about it right now.
by haskellandchill 10y ago
I feel like Idris would have a better experience for problems like this, quite excited about it right now.
- platz 10y agohttps://github.com/puffnfresh/iridium https://github.com/puffnfresh/iridium https://youtu.be/KAleMf_O82g?t=8m15s https://youtu.be/KAleMf_O82g?t=8m15s