-
Notifications
You must be signed in to change notification settings - Fork 1
/
package.json
1 lines (1 loc) · 952 Bytes
/
package.json
1
{"name":"agda-libjs","version":"0.0.1","description":"JS bindings for Agda","main":"agda-libjs.agda","scripts":{"test":"echo \"Error: no test specified\" && exit 1"},"files":["README.md","run.sh","agda-libjs.agda","example-proc.coffee","example1.agda","js-experiment/prelude.agda","js-experiment/proc-extras.agda","lib/Control/Process/Type.agda","lib/FFI/JS/BigI.agda","lib/FFI/JS/Check.agda","lib/FFI/JS/Console.agda","lib/FFI/JS/FS.agda","lib/FFI/JS/Proc.agda","lib/FFI/JS/Process.agda","lib/FFI/JS/Properties.agda","lib/FFI/JS/SHA1.agda","lib/FFI/JS/Type.agda","lib/FFI/JS.agda","libagda.coffee","package.coffee","proc.coffee","run.coffee"],"repository":{"type":"git","url":"https://github.com/crypto-agda/agda-libjs"},"keywords":["agda","library"],"author":"Nicolas Pouillard","license":"BSD3","bugs":{"url":"https://github.com/crypto-agda/agda-libjs/issues"},"homepage":"https://github.com/crypto-agda/agda-libjs","agda":{"include":[".","./lib"]}}