Giters

dvanhorn / LambdaS5

Semantics for ES5

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Semantics for ECMAScript 5.0

About

Semantics for ES5

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:OCaml 71.9%Language:JavaScript 21.7%Language:Shell 4.9%Language:Racket 0.9%Language:Python 0.5%Language:Perl 0.1%