Bugs item #899533, was opened at 2004-02-18 13:33
Message generated for change (Comment added) made by volkersf
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=899533group_id=8032
Category: libraries/base
Group: None
Status: Closed
Resolution: Fixed
Bugs item #807065, was opened at 2003-09-16 13:37
Message generated for change (Comment added) made by volkersf
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=807065group_id=8032
Category: libraries/unix
Group: 6.0.1
Status: Closed
Resolution: Fixed
Bugs item #900759, was opened at 2004-02-19 18:35
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detailatid=108032aid=900759group_id=8032
Category: Compiler
Group: 6.2
Status: Open
Resolution: None
In the near future I expect to have need of an implementation of some
basic term rewriting system algorithms, most notably:
- term matching and unification
- same, modulo associativity
- same, modulo associativity and commutativity
The first, of course, is easy to do myself; the second, I
://etudiants.insia.org/~jbobbio/hOp-20040219.png
Everything from the base hierarchical library not under the System
subdirectory is available. This includes threads and communication
primitives and the foreign interface, which means experimenting with
writing drivers in Haskell should be reasonably easy.
We
The first source release of hOp, a micro-kernel based on GHC's RTS
that runs Haskell code natively, is available here:
http://www.macs.hw.ac.uk/~sebc/hOp/
--
Sébastien Carlier
Jérémy Bobbio
signature.asc
Description: Digital signature
___