r/xmonad•14 yr. agoruleAdventures in Extraction - xmonad in coq [PDF]cs.ru.nl/~wouters/Talks/BrouwerExtraction.pdfcs.ru.nlPosted Jan 9, 2012, 9:16 AM UTC101ShareSave
Wouter Swierstra gave an interesting talk for the Dutch FP day on the 6th of January. This is his presentation.