On 20/10/16 7:49 PM, Simon Thompson wrote:
> Hi Richard - are you aware of the work of Philippa Gardner and her colleagues on formalising ECMAScript?
> Exciting stuff! They’ve certainly had their work published.
Oddly enough, I am currently studying the ECMAScript
Internationalization API Specification (ECMA-402), and
had been thinking
(a) what kind of prehistoric weed are these people smoking?
(b) I wonder if I could talk a student into trying to
extract something machine-checkable from this?
So I am very pleased to have that link. Thank you.
(Again by coincidence, I am currently trying to learn Coq.)
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.