On 29 August 2011 09:34, Andrew Coppin andrewcop...@btinternet.com wrote:
This is fairly wildly off-topic but... does anybody know of a good forum
where I can ask questions about mathematics and get authoritative answers?
Apart from math.stackexchange.com and mathoverflow.net, which people
have
cabal install primes?
http://hackage.haskell.org/package/primes
https://github.com/sebfisch/primes
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Hi Will,
I attended your presentation on Zeno at AngloHaskell last year and was
really intrigued; it's great to see you've got a release up on
Hackage, and I look forward to trying it out. Are you planning on
making your source code repository publicly available on GitHub or
somewhere similar? If
On 25 April 2011 14:11, Angel de Vicente ang...@iac.es wrote:
OK, I have tried it and it works, but I don't understand the syntax for
curry. Until now I have encountered only functions that take the same number
of arguments as the function definition or less (partial application), but
this
Hi -café,
I installed Snap 0.3 last night on my Mac, and had some problems
getting it to build with SSL support. This is just a quick note of the
extra flags I had to pass in when installing it in case someone else
has a setup similar to mine. These instructions presume that you are
using the
On 26 October 2010 19:29, Andrew Coppin andrewcop...@btinternet.com wrote:
I don't even know the difference between a proposition and a predicate.
A proposition is an abstraction from sentences, the idea being that
e.g. Snow is white, Schnee ist weiß and La neige est blanche are
all sentences
On 26 October 2010 20:43, Andrew Coppin andrewcop...@btinternet.com wrote:
Propositional logic is quite a simple logic, where the building blocks
are atomic formulae and the usual logical connectives. An example of a
well-formed formula might be P → Q. It tends to be the first system
taught
2010/9/9 Николай Кудасов crazy.fiz...@gmail.com:
Consider this book:
Basic Category Theory for Computer Scientists (Foundations of Computing)
-- Benjamin C.Pierce
Hi David,
Николай Кудасов is quite right—Pierce's book is excellent. Apart from
being a good introduction to category theory,
On 11 August 2010 15:49, Ozgur Akgun ozgurak...@gmail.com wrote:
Personally, I'd like to use the macports version, if the ghc version there
was resonably recent (having 2 versions, a stable and an edge could be a
good idea?)
You could use Homebrew instead. That has a fairly up-to-date version
On 6 August 2010 09:19, Michael Snoyman mich...@snoyman.com wrote:
After looking into sass a little bit, I've decided I like it ;). I see the
following benefits of implementing something sass-like in Haskell via
quasi-quotation:
* Compile-time guarantee of well-formedness.
* The speed
10 matches
Mail list logo
