Module Qcert.JavaScript.Lang.JavaScript
Require
Import
String
.
Section
JavaScript
.
Javascript programs are in serialized form
Definition
javascript
:=
string
.
Definition
js
:=
javascript
.
End
JavaScript
.