wojtek at power.com.pl
Sat Dec 20 08:24:00 UTC 2014
On 07.12.2014 06:48, Fabian Bergmark wrote:
> last few weeks. I have been following
> http://www.ecma-international.org/ecma-262/5.1 and tried to keep my
> implementation as close to the specification as possible.
specification (JSCert) and interpreter (JSRef), written in Coq, with
certain properties proven. If your goal is correctness, then it might be
of interest to you.
More information about the Haskell-Cafe