type  title  author  last post 
Forum topic  New simple proof system  Edwin Zacharias  20170813 22:29 
Forum topic  hobbes, Morgan Stanley OSS  Kalani  20170727 14:55 
Forum topic  What would be involved in moving logic beyond FOL?  Charles Stewart  20170714 15:18 
Forum topic  Just entertainment: Click, click, click!  marco  20170713 22:32 
Story  YOW! Lambda Jam 2017: John Hughes  Why Functional Programming Matters  Ehud Lamm  20170712 11:44 
Forum topic  Affine Types  Introductory reading  filipallberg  20170710 02:17 
Forum topic  Is Datalog negation(¬) similar to the builtin predicate (≠)?  Milton Silva  20170705 12:01 
Forum topic  How to name the inverse functions of constructors  hbrandl  20170703 00:16 
Story  Type Systems as Macros  naasking  20170625 11:19 
Forum topic  A refutation of Gödel's first incompleteness theorem  Enrique Perez Arnaud  20170525 18:11 
Forum topic  Any thoughts on WanaDecrypt0r?  marco  20170521 21:12 
Forum topic  Prove: 'Cont r a = (a > r) > r' forms a monad  marco  20170516 02:03 
Forum topic  Practical Principled FRP: Forget the past, change the future, FRPNow!  Sean McDirmid  20170512 16:41 
Forum topic  Domain specific language for playing games  davidb  20170503 22:47 
Forum topic  Egel Language v0.1  marco  20170422 21:19 
Story  Idris 1.0 Released  Ehud Lamm  20170402 22:33 
Forum topic  Conversion of 'functional' to 'imperative' algorithms: is it possible?  Achilleas Margaritis  20170331 19:14 
Story  Contextual isomorphisms  gasche  20170310 16:30 
Forum topic  Controlling Reductions  skaller  20170305 08:04 
Forum topic  How will look a modern imperative language? All love here is functional only..  mamcx  20170218 18:58 
Forum topic  Defining recursive function as a monad (or other solutions)  Ivan Vodišek  20161217 08:07 
Forum topic  Eliminating left recursion  skaller  20161213 00:23 
Forum topic  On the (Alleged) Value of Proof for Assurance  shap  20161124 01:04 
Forum topic  How is structural typing checked?  mamcx  20161026 16:44 
Forum topic  Feedback requested: A sample implementation of Lsystems in Haskell  filipallberg  20160919 18:37 

Recent comments
1 hour 36 min ago
12 hours 32 min ago
13 hours 47 min ago
13 hours 56 min ago
14 hours 55 min ago
15 hours 13 min ago
17 hours 41 min ago
19 hours 8 min ago
20 hours 43 min ago
22 hours 23 min ago