Xmonad - PDFSEARCH.IO - Document Search Engine

Xmonad
Results: 6

#	Item
1	Xmonad in Coq: Programming a window manager in a proof assistant Wouter Swierstra FP Dag Add to Reading List Source URL: www.staff.science.uu.nl Language: English
2	ZU064-05-FPR doc 26 August 2009 Add to Reading List Source URL: nixos.org Language: English - Date: 2009-09-07 09:06:10 Tiling window managers Functional programming Nix package manager Xmonad Dpkg Ubuntu Package management system Dependency hell RPM Package Manager Software System software Archive formats
3	Adventures in Extraction Wouter Swierstra Brouwer Seminar, [removed]with some slides from Don Stewart Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-01-11 05:53:34 Functional languages Tiling window managers Xmonad Coq Compcert Haskell Proof assistant Functional programming Ion Software System software Computing
4	xmonad Haskell xmonad + Haskell = ♥ Conclusion xmonad Add to Reading List Source URL: byorgey.files.wordpress.com Language: English - Date: 2008-03-27 14:16:32 Xmonad Haskell Xinerama Ion Monad System software Software Tiling window managers
5	PDF Document Add to Reading List Source URL: users.edpnet.be - Date: 2010-02-05 17:13:27 Dwm Wmii Awesome Xmonad Uniform resource identifier Uzbl MPlayer Od Unix Software System software Tiling window managers
6	PDF Document Add to Reading List Source URL: conferences.oreillynet.com Language: English - Date: 2007-07-23 22:45:40 Xmonad Dwm Wmii Haskell Ion Id Simon Peyton Jones X Window System Larswm System software Software Tiling window managers