You are viewing an old version of this page. View the current version.

Compare with Current View Page History

Version 1 Current »

EventML ver0.2, our continuing work in progress, has been updated and posted to the software page on PRL's CRASH site:

http://www.nuprl.org/crash/software.php

Updates includes fixdpoint operator and the ability to turn off the type checker.

  • No labels