2 ms·To slightly oversimplify: A language in which every function provably terminates.by Tainnor 4y agoTo slightly oversimplify: A language in which every function provably terminates.