[Haskell-cafe] ANN: theoremquest-0.0.0

Henning Thielemann schlepptop at henning-thielemann.de
Thu Mar 3 21:06:27 CET 2011

Previous message: [Haskell-cafe] ANN: hmpfr-0.3.2 (requires integer-simple, supports mpfr 3.0.0)
Next message: [Haskell-cafe] ANN: Version 0.14 of dataenc, version 0.5 of omnicodec
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Daniel Peebles schrieb:
> Have you tried it? It's completely addictive (and takes up a big chunk
> of my free time).

+1  after completing some missions in PVS. :-)

Previous message: [Haskell-cafe] ANN: hmpfr-0.3.2 (requires integer-simple, supports mpfr 3.0.0)
Next message: [Haskell-cafe] ANN: Version 0.14 of dataenc, version 0.5 of omnicodec
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell-Cafe mailing list