Re: [Haskell] formal verification for functional programming languages

Anyone interested in program verification issues in a Haskell context should check out the Programatica project: (I'm not sure how recent changes at OGI/PacSoft may have affected the on-going status of this project, but there is a l

[Haskell] Call For Papers - ICLP 2006

FIRST CALL FOR PAPERS ICLP'06 22nd International Conference on Logic Programming Seattle, Washington, USA, 17-20 August, 2006 http://www.cs.uky.edu/iclp06/ Part of Fourth Federated Logic Conf

[Haskell] SAS 2006: First Call for Paper

* First Call For Papers The 13th International Static Analysis Symposium (SAS'06) Seoul, Korea 29-31 August 2006

[Haskell] Re: Making Haskell more open

Tomasz Zielonka <[EMAIL PROTECTED]> writes: > On Fri, Nov 11, 2005 at 04:52:30PM +0100, Wolfgang Jeltsch wrote: > > IMO, the best solution are newsgroups. What I dislike with web-based > > communication (webmail, webforums) is that webbrowsing is not as flexible > > as > > using a specialized

Re: [Haskell] [ANNOUNCE] yhc - York Haskell Compiler

On 11/13/05, Wolfgang Jeltsch <[EMAIL PROTECTED]> wrote: > Am Samstag, 12. November 2005 00:09 schrieb David Frech: > > [...] > > > I'd like to build a web-publishing framework in Haskell that is > > totally self-contained, very portable, and easy to bootstrap ... and > > nhc98 or Yhc might be a ni

Re: [Haskell] Fonts on haskell.org

Am Montag, 14. November 2005 17:05 schrieb Jon Fairbairn: > On 2005-11-14 at 10:38EST John Peterson wrote: > > If someone sends me a new css file I'll be happy to throw it on > > haskell.org for you. Please send an email to this list if you want to > > do this so nobody else wastes their time. > >

Re: [Haskell] Fonts on haskell.org

On 2005-11-14 at 10:38EST John Peterson wrote: > If someone sends me a new css file I'll be happy to throw it on > haskell.org for you. Please send an email to this list if you want to > do this so nobody else wastes their time. Is anything more needed than the attached patch? If so, I'm willing

[Haskell] Fonts on haskell.org

If someone sends me a new css file I'll be happy to throw it on haskell.org for you. Please send an email to this list if you want to do this so nobody else wastes their time. John ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/m

Re: [Haskell] Making Haskell more open

> Maybe I changed Konqueror's font settings already. The point is that my > settings are in such a way that text with the default font size is well > readable while not taking up too much space. The problem is with > haskell.org's links. They have a font size of 80% of the default. If the > def

Re: [Haskell] [ANNOUNCE] yhc - York Haskell Compiler

Bulat, CR> * Part of Tom's motivation for the new back-end is a nice implementation CR> of his Hat G-machine for tracing. i'm interested whether this sort of things is possible as back-end for GHC? it will be great if current front-end for GHC which supports number of widely used extensions ca

Re[2]: [Haskell] [ANNOUNCE] yhc - York Haskell Compiler

Hello Colin, Monday, November 14, 2005, 2:51:44 PM, you wrote: CR> * Part of Tom's motivation for the new back-end is a nice implementation CR> of his Hat G-machine for tracing. i'm interested whether this sort of things is possible as back-end for GHC? it will be great if current front-end for

Re: [Haskell] Making Haskell more open

Am Sonntag, 13. November 2005 22:21 schrieben Sie: > [...] > Hmm, turning off my font settings, it still looks mostly okay. The > font sizes aren't set in absolute terms in the CSS or HTML anywhere > that I can see. They're all set to percentages of the default browser > sizes. Perhaps the problem

Re: [Haskell] Making Haskell more open

On 2005-11-14 at 11:13+0100 Wolfgang Jeltsch wrote: > Maybe I changed Konqueror's font settings already. The point is that my > settings are in such a way that text with the default font size is well > readable while not taking up too much space. The problem is with > haskell.org's links. The

Re: [Haskell] [ANNOUNCE] yhc - York Haskell Compiler

Thomas Davie wrote: I haven't played around with nhc98 yet, but I was intrigued by its small size and its (modestly-sized and simple) bytecoded implementation. Should I now be more interested in Yhc instead? ;-) As far as the YHC team is concerned, yes... As far as the nhc team is... I'm not