Hacker News new | ask | show | jobs
by Tainnor 1307 days ago
To slightly oversimplify: A language in which every function provably terminates.