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.
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.