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
2 days 6 hours ago
3 days 1 hour ago
3 days 6 hours ago
3 days 6 hours ago
3 days 7 hours ago
3 days 7 hours ago
3 days 8 hours ago
3 days 8 hours ago
3 days 12 hours ago
3 days 13 hours ago