<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-09-07 09:06:10Tiling window managers Functional programming Nix package manager Xmonad Dpkg Ubuntu Package management system Dependency hell RPM Package Manager Software System software Archive formats |
Add to Reading List |
ZU064-05-FPR doc 26 August 2009 | 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 StewartDocID: NjOH - View Document |
| xmonad Haskell xmonad + Haskell = ♥ Conclusion xmonadDocID: CBdH - View Document |
| PDF DocumentDocID: AuG - View Document |