GitHub topics: primitive-recursion
catseye/Exanoke
MIRROR of https://codeberg.org/catseye/Exanoke : A functional language which is syntactically restricted to primitive recursive functions
Language: Python - Size: 40 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 2
catseye/PL-GOTO.NET
MIRROR of https://codeberg.org/catseye/PL-GOTO.NET : A CIL-targeting compiler for Brainerd and Landweber's PL-{GOTO}
Language: Haskell - Size: 53.7 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
haug-den-lucas/primrec
This website allows you to simulate primitive recursion
Language: JavaScript - Size: 472 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
