Top network posts

• 40 Why does a flat universe imply an infinite universe?
• 25 Are there any annotated formal verification systems for pure functional programming languages?
• 20 How does lifting (in a functional programming context) relate to category theory?
• 17 Can you create functions that return functions of a dependent arity in a dependently typed language?
• 17 Are regular haskell algebraic data types equivalent to context free grammars? What about GADTS?
• 14 Is there a reasonable scientific backing for Carl Jung's type theories?
• 12 "Generalized arrows" and proc notation?
• View more network posts →