All decks Close
All decks 3

  • Type level quicksort

    Jun 08, 2015 1,322 0

  • Docker

    May 28, 2014 1,190 0

  • A monad is just a monoid in the category of endofunctors. what's the problem ?

    Aug 10, 2013 16,008 7