Applied Type System
ATS can prove its concurrent programs have no deadlocks or race conditions.
Something went wrong. Please try again.
But it does run on Cygwin.
Built By the Slant team
Are you sure that you want to abandon your hard work?