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
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
2 matches
Mail list logo