recent posts

typetitleauthorlast post sort icon
Forum topicA refutation of Gödel's first incompleteness theorem Enrique Perez Arnaud2017-04-24 06:43
Forum topicDomain specific language for playing games davidb2017-04-23 03:25
Forum topicEgel Language v0.1 marco2017-04-22 21:19
StoryType Systems as Macros naasking2017-04-20 16:41
Forum topicMaking a one-pass compiler by generating fexprs that generate code Josh Scholar2017-04-14 19:51
Forum topicCompiler IDE API Keean Schupke2017-04-14 06:08
Forum topicNew PL forums: plforums.org glebm2017-04-13 02:55
StoryIdris 1.0 Released Ehud Lamm2017-04-02 22:33
Forum topicConversion of 'functional' to 'imperative' algorithms: is it possible? Achilleas Margaritis2017-03-31 19:14
Forum topicLogic Production Systems (LPS) Neil Madden2017-03-27 18:13