…ad to group the queries on the same type together for this.
…require the 1.11.1 version of haskell-src-exts.
* Added the arrow operators.
broken and now they aren't anymore.
…at often anymore. * Removed the AGDA dependency for until it actually works. * Classes are now detected.
…hs2TeX * Modified theme1 * Updated the README, it contains more info now.
* ->, <- and the lot are now replaced with the tokens from polycode.fmt * Some other fixes
* And more hackage compliant
* Started the Agda mode (try it with lhs2TeX-hl INPUT OUTPUT --agda) * Version before adding the cmdargs lib
* Fixed unexpected file endings by adding hClose * Moved more to Haskell.hs * Experimental infix operator support