<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-02-05 17:13:27Dwm Wmii Awesome Xmonad Uniform resource identifier Uzbl MPlayer Od Unix Software System software Tiling window managers |
 | Xmonad in Coq: Programming a window manager in a proof assistant Wouter Swierstra FP DagDocID: 1mmaM - View Document |
 | ZU064-05-FPR doc 26 August 2009DocID: 10J8z - View Document |
![Adventures in Extraction Wouter Swierstra Brouwer Seminar, [removed]with some slides from Don Stewart](https://www.pdfsearch.io/img/6949f3537876baf20721b1a1e0a8db96.jpg "Adventures in Extraction Wouter Swierstra Brouwer Seminar, [removed]with some slides from Don Stewart") | Adventures in Extraction Wouter Swierstra Brouwer Seminar, [removed]with some slides from Don StewartDocID: NjOH - View Document |
 | xmonad Haskell xmonad + Haskell = ♥ Conclusion xmonadDocID: CBdH - View Document |
| PDF DocumentDocID: AuG - View Document |