Hacker News new | ask | show | jobs
by Ralith 4445 days ago
You can compromise on turing-completeness, too. Idris, for example, lets the programmer decide whether a given definition should be required to provably terminate or not.