← Back to context

Comment by michaelbarton

6 hours ago

I wonder if then Idris would be even better than that since it has even more typing

0 comments

michaelbarton

Reply

No comments yet

Contribute on Hacker News ↗