[Haskell-cafe] A backhanded compliment and a dilemma
Richard A. O'Keefe
ok at cs.otago.ac.nz
Thu Oct 20 22:00:42 UTC 2016
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.)
More information about the Haskell-Cafe