Hello,
I'm interested in doing a simple board game on haskell. For that I want
to be able to draw stuff like the possible player movements and I want
to be able to display very simple animations. I want to know what
graphical interface library you suggest to me.
I have almost no prior experience
Mauricio wrote:
Hi,
A small annoyance some users outside
english speaking countries usually
experiment when learning programming
languages is that real numbers use
a '.' instead of ','. Of course, that
is not such a problem except for the
inconsistence between computer and
free hand
Richard A. O'Keefe wrote:
On 14 Sep 2008, at 10:59 pm, Rafael Almeida wrote:
One thing have always bugged me: how do you prove that you have
correctly proven something?
This really misses the point of trying to formally verify something.
That point is that you almost certainly have NOT.
Derek Elkins wrote:
On Mon, 2008-09-15 at 18:42 -0300, Mauricio wrote:
Hi,
I tested the expression below
and it doesn't work. Is there
some way to achieve that (i.e.,
turning an expression inside
parenthesis into an operator)?
2 `(flip (^^))` (3%4)
No it shouldn't work. The fact that
Hello,
I understand that nowadays there are several frameworks and wrapper
libraries for making some sense of the XHTML documents you find over the
web. That is, making the life of those who want to process the
semi-structured data you find on the sites.
I don't have much experience on that
Hello,
I was studying Monads and I was trying to think about new Monads I could
define. So, a question poped into my mind: how is proof regarding the
3 Monad laws handled? I know that, aside from testing all the possible
values (and there can be a lot of them), there's no general way to