First Page | Document Content | |
---|---|---|
Date: 2007-07-23 22:45:40Xmonad Dwm Wmii Haskell Ion Id Simon Peyton Jones X Window System Larswm System software Software Tiling window managers | Add to Reading ListSource URL: conferences.oreillynet.comDownload Document from Source WebsiteFile Size: 6,80 MBShare Document on Facebook |
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 |