recent posts

typetitleauthorlast post sort icon
Forum topicA refutation of Gödel's first incompleteness theorem Enrique Perez Arnaud2017-05-25 18:11
Story Imperative Functional Programs that Explain their Work gasche2017-05-25 17:58
StoryType Systems as Macros naasking2017-05-24 21:04
StoryDatabases from finite categories Charles Stewart2017-05-24 06:43
Forum topicAny thoughts on WanaDecrypt0r? marco2017-05-21 21:12
Forum topicFinding Solutions vs. Verifying Solutions Ivan Vodišek2017-05-20 09:38
Forum topicSW verification continues hbrandl2017-05-16 21:54
Forum topicProve: 'Cont r a = (a -> r) -> r' forms a monad marco2017-05-16 02:03
Forum topicthe type of eval in Shen Mark Tarver2017-05-15 16:21
Forum topicRefining Structured Type System Ivan Vodišek2017-05-13 20:01