Re: [racket-dev] Temporal Contracts and Match Automata

2011-01-08 Thread Matthias Felleisen
In principle I'd love to see this kind of functionality in the core. I will read the 'guide' (aka your submission) and let's work on my 'turn' example to see how it fits. -- Matthias On Jan 7, 2011, at 8:17 PM, Jay McCarthy wrote: > I've recently prepared an extension to the contract sys

[racket-dev] Temporal Contracts and Match Automata

2011-01-07 Thread Jay McCarthy
I've recently prepared an extension to the contract system based on some work that Cormac Flanagan and I did. The code is available at: https://github.com/jeapostrophe/exp/tree/master/temporal-ctcs The documentation is available at: http://faculty.cs.byu.edu/~jay/tmp/20110107-tempc/temp-c/ and