Hacker News
- The Derivative of a Regular Type is its Type of One-Hole Contexts (2001) [pdf] http://strictlypositive.org/diff.pdf 39 comments
- Strange error message on function definition http://strictlypositive.org/unify.ps.gz 2 comments idris
- Conor McBride: "Types ... they're never around when there's work to be done" http://strictlypositive.org/winging-jpgs/ 20 comments programming
- Slicing It: Conor McBride's famous acetate talks on types and computation http://strictlypositive.org/slicing-jpgs/ 3 comments math
- Conor McBride: Slicing It http://strictlypositive.org/slicing-jpgs/ 12 comments haskell
- Idioms: a weaker, more functional, form of monad [PDF] http://strictlypositive.org/idiom-abort.pdf 6 comments programming