Re: [Haskell-cafe] category theory as a design tool

Hi Arnaud, you may want to look at http://mathcs.mta.ca/research/rosebrugh/Easik/ This is a java tool which allows entity design using various cat theory constraints such as sum, product and pullbacks. Brett Giles Sent from my iPhone Message: 14 Date: Wed, 22 Jun 2011 14:06:21 -0500 From

[Haskell-cafe] Re: [Gtk2hs-users] Woes on MacOS 10.6 - linking issues -now working, but Glade is missing in v0.11 and v0.10.1 still won't compile

conversations on this list between Chris K. and Axel. On Jun 11,2010, at 2:40 AM, Axel Simon wrote: Hi Brett, On 11.06.2010, at 04:53, Brett Giles wrote: Hi Folks I seem to have Gtk2HS 0.11 installed, but not quite working. Interestingly, I can run a demo, such as the hello/World.hs

[Haskell-cafe] Re: [Gtk2hs-users] Woes on MacOS 10.6 - linking issues -now working, but Glade is missing in v0.11 and v0.10.1 still won't compile SOLVED compile of 10.1

Finally figured it out - leave the scripts for ghc and hsc2hs alone and do the configure for gtk2hs 0.10.11 like this: ./configure --with-hsc2hs='--cc-flag=-m32 --ld-flag=-m32' On Jun 12,2010, at 3:53 PM, Brett Giles wrote: Hi everyone, Thanks for the variety of suggestions - I resolved

[Haskell] Woes on MacOS 10.6 - linking issues

.dylib Referenced from: /usr/local/bin/emlqpl Reason: image not found Trace/BPT trap Does anyone have any suggestions? Brett Giles Grad Student, Formal Methods, Category Theory, University of Calgary brett.gi...@ucalgary.ca ___ Haskell mailing

Re: [Haskell] same type multiply implementing a class

Note the live version of this on haskell wiki is at: http://www.haskell.org/haskellwiki/Wrapper_types The link below is for the old non-editible version of the haskel wiki. On Thu, 2007-03-15 at 15:34 -0600, Derek Elkins wrote: Wolfgang Jeltsch wrote: Am Donnerstag, 15. März 2007 03:23 schrieb

Re: [Haskell] HaWiki closing in one month; migrate content to HaskellWiki now!

the list. Remember you need to check licences before moving content to the new wiki! Thanks Ian and Shae [1] http://www.haskell.org/hawiki/ [2] http://www.haskell.org/pipermail/haskell/2006-January/017287.html [3] http://www.haskell.org/haskellwiki/Haskell Brett Giles Grad Student, Formal

Re: [Haskell] Who brought the monad to us?

Hi Wolfgang You may want to consider the papers by E. Moggi on Monadic computation (1989, 1990) at http://www.disi.unige.it/person/MoggiE/publications.html and Andrew Gordon's thesis Functional Programming and Input/Output (Sorry, I don't have a URL). Brett Giles [EMAIL PROTECTED] http

Compiler 5.02 asked me to report a bug.

attached the PG.gc ,hs and .hi files, as well as an optional include file used for hugs... Please note, this interface has been working for hugs (albeit with problems) Please let me know if there is anything I can do to assist in further debugging. Brett Giles Grad Student in formal methods