[nem-en] Scala: what you say about it?

[Michal Moskal]

On 11/19/06, NoiseEHC <NoiseEHC at freemail.hu> wrote:
> Will that theorem prover be usable someday so I would be able to
> implement my
> version of Singularity in Nemerle? I would call it DOS = Dependable OS... :)

Well, it's alrady usable It just a theorem prover for first order logic.

Wojtek Walewski who was implementing Nemerle-Boogie bridge said some
basic examples of Nemerle code did verify.

-- 
   Michał