Forgot the URL: http://github.com/softa/rl

On Mon, Nov 23, 2009 at 2:01 PM, Juan Maiz <juanmaiz@gmail.com> wrote:
Hi folks, my name is Juan Maiz and i'm starting to study Haskell (again).  Is anyone from Brazil in the list?i

I'm currently reading The Haskell Road to Logic, Maths and Programming and having a lot of (geek) fun. By the way, i found this: http://www.mail-archive.com/haskell-cafe@haskell.org/msg45406.html . It was sent by Mattias Bengtsson. I made something similar using Ruby's Treetop, with the difference that my concern was to validate and generate truth tables for formulas using Unicode.

So... my first noob question to the list: What is the difference of Unicode support in HUGS and GHCI ? In GHCI I can do something like:


(∧) = (&&)
Prelude> True ∧ False 
False

(The carachter is the unicode for conjunction U+2227)

But in HUGS i can't. It says:

ERROR "conjunction.hs":1 - Unrecognised character `\8743'

Somebody?


On Mon, Nov 23, 2009 at 1:26 PM, Eric Kow <eric.kow@gmail.com> wrote:
Minor aside.

> -> Could be the first GUI to build on hackage :)

If you have wxWidgets installed, the new fully Cabalised wxHaskell
builds just fine.  It's quite handy/refreshing for 'cabal install wx' to
finally "just work" :-)

Unless you mean "build on the Hackage server" which should also be
possible in principle, although the wxHaskell folks may want to have
a quick look at
http://hackage.haskell.org/packages/archive/wxcore/0.12.1.2/logs/failure/ghc-6.10

--
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
PGP Key ID: 08AC04F9

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAksKqZgACgkQBUrOwgisBPmGBQCfRnW1dcLV3JaLi2p5PppsO+XK
7uwAoMVhCV00sdNctgAjw2TyQGs6TyNv
=tnXa
-----END PGP SIGNATURE-----

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe




--
Juan Maiz Lulkin Flores da Cunha
---------------------------------------------------------------------------
Softa Consultoria para Desenvolvimento
http://www.softa.com.br
http://www.mailee.me - Finalmente e-mail marketing 2.0
http://www.linkedin.com/in/juanmaiz
http://workingwithrails.com/recommendation/new/person/9354-juan-maiz
“The most exciting breakthroughs of the 21st century will not occur because of technology but because of an expanding concept of what it means to be human”
John Naisbitt



--
Juan Maiz Lulkin Flores da Cunha
---------------------------------------------------------------------------
Softa Consultoria para Desenvolvimento
http://www.softa.com.br
http://www.mailee.me - Finalmente e-mail marketing 2.0
http://www.linkedin.com/in/juanmaiz
http://workingwithrails.com/recommendation/new/person/9354-juan-maiz
“The most exciting breakthroughs of the 21st century will not occur because of technology but because of an expanding concept of what it means to be human”
John Naisbitt