Sat, 20 Aug 2011 01:21:22 +0200 | haftmann | merged | changeset | files |
Fri, 19 Aug 2011 19:33:31 +0200 | haftmann | more concise definition for Inf, Sup on bool | changeset | files |
Thu, 18 Aug 2011 13:37:41 +0200 | noschinl | do not call ghc with -fglasgow-exts | changeset | files |