Hacker News new | ask | show | jobs
by ZitchDog 1347 days ago
This is also possible in typescript which is a little more mainstream than Idris.
1 comments
naasking 1347 days ago
TypeScript's type system is not consistent though.
link