Re: Reversi

2002-10-09 Thread Ken Shan
On 2002-10-08T17:13:35-0300, Tatiana wrote: > Hello! > > Does anybody have the game reversi in Haskell??? > I need this code to understand a problem. > If you have another game in Haskell, please help me. I need see any > game in Haskell. How about games in general (more specifically, two-player

CSMR2003 - New Deadline for Submission

2002-10-09 Thread csmr2003
Please note that the deadline for submitting papers to the European Conference on Software Maintenance and Reengineering has been extended to October 18, 2002. (Apologies for multiple copies) S

Reversi

2002-10-09 Thread Tatiana
Hello!   Does anybody have the game reversi in Haskell??? I need this code to understand a problem. If you have another game in Haskell, please help me. I need see any game in Haskell.   Thank you  very much. Tatiana

Expander2

2002-10-09 Thread Prof. Dr. Peter Padawitz
Expander2: A Formal Methods Presenter and Animator == Expander2 has been designed as a multi-purpose workbench for interactive logical inference, constraint solving, data flow analysis and other procedures building up proofs or computation sequences

Re: Java representation in Haskell

2002-10-09 Thread Dean Herington
Paulo Sequeira wrote: > A friend is considering to start a project of building a generator of > certain particular (pieces of) programs. The code generated is most likely > to be Java. > > Anyone knows of a module that provides data structures and functions for > representing and manipulating Jav

Re: FW: quantum computing, monads, and FP in general

2002-10-09 Thread Amr Sabry
Hi, I stopped reading the list for a while ... Simon Peyton Jones kindly forwarded the original message (and I re-subscribed to the list :-) Anyway, last summer I've played a little with modeling QC in Haskell using the high-level ideas you describe. I have nothing yet to show but meanwhile you