All decks Close
All decks 3

  • Type level quicksort

    Jun 08, 2015 1,178 0

  • Docker

    May 28, 2014 1,033 0

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

    Aug 10, 2013 15,475 7