recent posts

typetitleauthorlast post sort icon
Forum topicNew simple proof system Edwin Zacharias2017-08-13 22:29
Forum topicisomorƒ: an experimental structured editor for witing/deploying functional code Brian Kent2017-08-15 18:39
Forum topicThe question of the possibility of a simple formal foundation to the natural languages. Enrique Perez Arnaud2017-08-16 01:24
StoryReview of Graham Hutton's Programming in Haskell, 2e Ehud Lamm2017-08-17 18:24
StoryHappy Birthday, dear Lambda: 17 is good edition Ehud Lamm2017-08-18 06:51
StoryImplementing Algebraic Effects in C naasking2017-08-20 17:24
StoryNo value restriction is needed for algebraic effects and handlers naasking2017-08-20 17:28
Forum topicLanguage features for tracing JIT? Luke Gorrie2017-08-21 14:33
StoryGraydon Hoare: What next for compiled languages? Ehud Lamm2017-08-21 15:39
Forum topicSomething I forgot marco2017-08-26 06:44