http://comonad.com/reader/2011/a-parsec-full-of-rats-part-2/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1