Hacker News new | ask | show | jobs
by senorsmile 2127 days ago
Is Idris 2's linearity the same as Haskell's in this respect?
1 comments
platz 2127 days ago
yes
link