Uploaded at Nov 28 23:01:23 2020
Succesfully tested at Jan 24 07:30:24 2021

Curry Package javascript

javascript - Libraries to represent JavaScript programs in Curry

This package contains libraries with data types to represent JavaScript programs in Curry and show them in JavaScript syntax.


Download

Checkout with CPM:
cypm checkout javascript 3.0.0
Package source:
javascript-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/javascript.git