recent posts

typetitleauthorlast post sort icon
Forum topicImplicit conversion (subtyping) vs Explicit conversion Keean Schupke2016-10-23 06:46
Forum topicInteresting use cases for universal quantifiers in rank 2? Alex Shpilkin2016-10-23 00:23
Forum topicHow is structural typing checked? mamcx2016-10-21 07:38
Forum topicParsing with derivatives - Elegant matching of regular languages in clojure yehonathan sharvit2016-10-08 16:52
Forum topicBottom Types Keean Schupke2016-10-07 22:33
Forum topicCompile and Statically Verify hbrandl2016-10-07 07:12
StoryPycket: A Tracing JIT For a Functional Language gasche2016-10-06 00:41
Forum topicIndispensible use cases for record subtyping? naasking2016-10-04 17:37
Forum topicZenScript, A new open-source language project. Keean Schupke2016-10-01 16:48
StoryAutomating Ad hoc Data Representation Transformations naasking2016-09-29 18:54