[Haskell] ANNOUNCE: multiset 0.1

Thomas Schilling nominolo at googlemail.com
Tue Feb 12 08:45:40 EST 2008

Previous message: [Haskell] ANNOUNCE: multiset 0.1
Next message: [Haskell] Re: Typing unification algorithm for parameterized types using GADTs?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> (http://www.cs.utexas.edu/~EWD/ewd07xx/EWD786a.PDF,

That would make for a nice script font :)  Oh, wait, there is one  
already: http://lucacardelli.name/Fonts.htm

Previous message: [Haskell] ANNOUNCE: multiset 0.1
Next message: [Haskell] Re: Typing unification algorithm for parameterized types using GADTs?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Haskell mailing list