All decks Close
All decks 3

  • Type level quicksort

    Jun 08, 2015 1,104 0

  • Docker

    May 28, 2014 952 0

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

    Aug 10, 2013 15,102 7