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
On 10 June 2011 12:53, Lars Viklund z...@acc.umu.se wrote:
I disagree with the assumption that OS X people are quick to upgrade.
The last set of figures I saw on adoption were something along the lines
of 15% on 10.6, with almost a third of the users on 10.4 and below,
taken from some article
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
On 13 January 2011 15:30, Johan Tibell johan.tib...@gmail.com wrote:
We should set up a git daemon at some point as it's much more
efficient that pulling over HTTP.
As of version 1.6.6, Git is much more efficient over HTTP than it used to be.
http://progit.org/2010/03/04/smart-http.html
In
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
12 matches
Mail list logo
