{"_id":"@cicada-lang/mugda.sexp","_rev":"12-863aca694b0bb2b88236195f8e4ca782","name":"@cicada-lang/mugda.sexp","dist-tags":{"latest":"0.1.13"},"versions":{"0.1.1":{"name":"@cicada-lang/mugda.sexp","version":"0.1.1","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.34","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.2","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"f151897aaf0fca8ce973af4f2573264455877ef3","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.1","_nodeVersion":"18.11.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-F8dOMwNpXhLy+Qemhw5opHAjAuU3pF8LP8rIWBZ/RbhP+YHg65AMlD7/Pgi3adLjHZ4w5KekkS4sUsWwBX2X9Q==","shasum":"f1853ebd4e864d5ab5e188c21f02b1b7f4f542ca","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.1.tgz","fileCount":224,"unpackedSize":206402,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCroMhdvhqYjkB9iyvpARuMZJci3bzpcykqfXQgTpKmRQIgNJI03PXxe5gOUUVA5wJ3V37tl2kpzramXIWi+2/AOQw="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjT2FPACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmo0SA//ZXlI31zwSfEcjz+bhDYaK4x7hScYfNV9uyXhwoG06e5oUGrV\r\nVuNuBF5h1TKA8voB3VyN/TlJD326Ww1lVWiNvl8jGz8bUhfDCifsE57RJPIi\r\nmeKhgUw4vmC0d/y6PD6oJJ6J7KiQVzGh50W2lShtZ+LbumUy8B5UCFwZwAIt\r\nd1gcBS34YiUcxHVc7mIMJM+1lEOepmtmBA8ZGHpgRIslrcPKacIXPdthGA49\r\nF7LhoXWhKv7H19/JbuqSmFVvHvl1SC6eeKIeYKMv/c9XaRO06ykZ/LJCNsCu\r\nEilzjPknOd7evQCHSyWa/widagnlJgXi9kqZYOXNW3iDElm0kXV2+f2rKY76\r\nlr93Leit1eh7W13fjoRDmehK8oK4xY9gvRTYwYDKTdgaQHkuVKfZqqje9xCi\r\nwrsGb3pwRuU8l9FZp1UuGC7r4n5e6t99ytMKg81rPP89Mb+o7XsQbhyUjLeZ\r\nDYJ3g9Gr2C5koh3p6GshKj/3z6CfFU5zFUhLM9n0y3P31RHZxKcoVw8357HD\r\nMUXE9Ev3i3v2nlDZ8p+cC/8J56tAbVNTP96hU3pBR1r8va4cbdjsdFaeDx+9\r\nx6mRlhr0aON/zwU6g65AY2Chq6tQG+ekzJJnPrV5v2Oy3Q+8mQ3f5vmXkRB0\r\njhDw4TRMOAgABZbcag9YIW7ZItbRv4oQUa0=\r\n=JHTy\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.1_1666146639288_0.026472853074686276"},"_hasShrinkwrap":false},"0.1.2":{"name":"@cicada-lang/mugda.sexp","version":"0.1.2","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.35","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.2","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"d1e4696e6d7ea08af1f47f1d1d05b480989cbd6a","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.2","_nodeVersion":"18.11.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-rPwZZVDcmt3GVTbtYN6uCvk4eqjbTigNyWIayvvmgBE5fs+yJx/kPctGIW/Uade6U+qCuPPCt7MJOxh5SOJxJw==","shasum":"58056e82bcd8bfb366f4dd9e309be1c82a252805","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.2.tgz","fileCount":224,"unpackedSize":206900,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIBtS/C0jP1pvNXhVD5Ck/i4VB1BZIoqkiTa/Mi+SdHNxAiAUzKMmQW4K7Fc8gJiiHh3XevctzfovjlhZJQBDMnoaFw=="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjT2/OACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmpqWg/8Deb8kab1bx77QrlZwHFHMMSNAxbMfbFTncFG7Ap+ddSqhNza\r\nhLlF4BdI8LeNIu/sAZm5Ql3MoinJbUrRBmhWv6xFewomDDhYj+++EfRXYxAp\r\n2zJhiuDs8NbN+hOv+FFYIIVrZm7eAt3dyx2qKmnJ8jCt3DNw00dThvwMvF4B\r\nmO/SWqq8lUepUNKKHTLJlrrZCFQhB3kisOkcsJrs7VqJpx2vRgI5JyaWUC7t\r\nc7CrnoMqWtvK6WwSGl8hesOJNf+LOBAti+PbwgNDo+nSMGa78ce6Uxqlf+v7\r\nc0YueeossYGao/IVyrJXOKLM3/KXN/+/NZWM1AjX3Z8UJRX7kYAztUwJo+6j\r\nJDZnIDAG66VtgRTtFF8LFmo2QTDPhzGLzcmZPxQMBUF8AWP0ZFtxAwat0KXU\r\n78J6PG7hy85rXUcmIsMy5QvUanvz9LknJpD6I3k/sROqv5gz8He0xvWzkiQT\r\nyaZsAds5oE8qjW8XRnEoMq1vAyUo3JWL+N47pFWbISyxoF9txKWXyu7yAoi8\r\n6aneV0NkAPXPjaqeQc6VG7BQpUuyxA+m5nk55hbJJL3HbNp3h57jcdcUQxTH\r\n4b7VJcyBj4dD8jI+piz/g8LbSRa4uCzLDQDrwNkMOVckXtUahElNf0EHm1Xx\r\nvAFDA9NBIIkKOmfWOk6lJLH3II6a/a5fJ6Y=\r\n=yReE\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.2_1666150350355_0.7380361157794066"},"_hasShrinkwrap":false},"0.1.3":{"name":"@cicada-lang/mugda.sexp","version":"0.1.3","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.2","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"d51031139ff88e94a8e564f38cd623b76ae09f60","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.3","_nodeVersion":"18.11.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-HdUwKfia+6UDS754cYST733ixmOu3pKkbJwp/zjEfhd/U6ExWo+6K4Y+CEEdQGb5eHjCSWUU6n8NDLkSDq34xg==","shasum":"f63d28e95016b92ed8e518bd5a8848946ace4028","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.3.tgz","fileCount":230,"unpackedSize":208054,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCruuhYXqkf2H2lBeLVq6cG9UWMaG71DP6hBQ0KJT6PxwIhAIIfdTbQoy0o6x88O673f0QlWvYHCRQ2l1Jlse5oStHk"}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjT/spACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmoB3w/+K5TH+Mp2DuZaG8JOhBpTX4wy5pAmKx1E/JyYu0TFoED0ENih\r\n5fMkyxYr0GOaVucBbZHXzKZWROk54K2EjdteWXUfXr/mXblRRx1qvwo5PNN4\r\n4YxzSeD7QkUGWk/yfwvRYH1423YhRfNbwRMcdfWxuxW4CiMI5DRVfGSMcfHi\r\nOJRadAMvvytPYHP6sdn65qEqkl0RVlIabMOkRouLH2eJieuqrSyiZqoji/ml\r\nlU94SRCK/ektShJEdD9EH31ci8ysA/ezXRvBAje4PmbmEiRwMgX4gqj6bklx\r\ne60Z9AxinO07X+DACdvYy9OwMy935sIZh80CxDkzlH92LEep5dZ2DQMg4fQF\r\nbjzOfCI+SRVEP31Mywg6gAbnMFwQbv1fYBnU+1z/8xQCRsTxhA35se0Dd0lE\r\nkc86m6xe/O13lrouiZYJ8MPml77WKPCwvCs+q0bQ1PnzSkJj/xyZpI8j4JiI\r\nnOv6+B2dyt3cYvbcFHICw8mAohmNws84hwRX+Y6Ll///eGJkBMP8E1UC3lDM\r\nAHJZDBsLBpEVQMXCA0oRQqUxA39BcSoQxPHBtmP9KYZbTKfZ1QNqcTQ7lvtp\r\nbuIP7XJrikB56+BmAlrwu6OyxKvvDUFenA+0pTNFC9nkuitB5IrWLzpUiluk\r\n6MZgDWYqC9j8Bbd19SOg5dE2eCFqspaIlFI=\r\n=sB8H\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.3_1666186024927_0.5471264807927354"},"_hasShrinkwrap":false},"0.1.4":{"name":"@cicada-lang/mugda.sexp","version":"0.1.4","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.2","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"d71fe02093aa66e7e2a9f09403e33473c1cf8fc8","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.4","_nodeVersion":"18.11.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-+0hmkySpNRBnrGVDr/l+IozLk4S7Wvo4POn9Emip2koZmRA0hz7OCxPGOX7t9iJfUM7Yi2CnW5ZOXjoEchzZiQ==","shasum":"7363b88d889dd7790661e7224027af09d2fc336e","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.4.tgz","fileCount":238,"unpackedSize":217026,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEMCHxkHHsIRa9eZwHzQoRjpbO9bio5OH7YUC5b58Cc/NxUCIFGIVmPqO6oVrbxuoGtIMY9CiLDoiWrXO9G0hfzfzpbe"}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjUPcsACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmojmhAAoiVZHrmwXP5gBfU9ROfLfX0yElEAsvMdT/CIiNDBQn6faZYS\r\nTWQPUdSbGTP4qkzkDdebMKKt6JCUvFzorv5b9xMfYq1yMRVY878c08e6UXGZ\r\nYitrUuLBRn7SbM9b411xT5XjSYc/ubY4uoYUdT9+J5hsOabtyMYa/x+KXNFL\r\ntvn90iRfTZ7ojUf/8iFh1jZxtXvQ0f0R4KNcpD+/PLozGbTDASHvFdumc8zG\r\neYA9/kTqajAi6z0uGgL1b2zTWYJGicQ+7x+oK3tRE6vFlmEP8+CwpQ2mle66\r\nJJAVqIKeol7JXlvrYNqu6aK2ttf5vJNLbcEq2YODuWuZToUGjvDxvZjn2Tyd\r\njUGyNvchen3FU9Q0MpbCekaYS9/Kk7FZHB111wzbwD+pl6X0p/LCHDJw/ZvC\r\nLJQMkOn3voqLHfs8XWln9sN/a21viBMfe3JXlvPPzv+ezq5PWRbJIRcMFPrO\r\ntkSVbA4+iTpP4dwDDdWXQ+l664mMILTghTh/+UOHmT0CE5rckfaFlW/N8//S\r\nSY22r45l50HPhWzpXbbTJtNlY9IgsFuCBFEtnrMEoKtZOJEfxa05OtdSWq0A\r\n0wlKhMYv1Yt9y/JiGGOGSfgwB9LZKtYwjvpnAu725Fg7XZCyt8bZC6NVCuub\r\nK5/6bQUFc0tck1+yVm8zkBDKKJw77N5BTfQ=\r\n=0WfY\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.4_1666250540648_0.7435473134953341"},"_hasShrinkwrap":false},"0.1.5":{"name":"@cicada-lang/mugda.sexp","version":"0.1.5","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.2","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"b4358fc4c7e37419ccba83c222f8891dc84c62cb","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.5","_nodeVersion":"18.11.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-/Q4aFwp6vq9alm42kHvWPUHwDs8Md45GCGcV8FFI9VLCknjCTvGhRVOU08qy8gV8KjW7pdzCJ0e8B7W8Fgn5gg==","shasum":"9e23c438f37d58ad31c03e5be105651315d04e9c","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.5.tgz","fileCount":258,"unpackedSize":238728,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQDxqlX0vth5TLtWIanitvnkn6unj6VX07IxWttMTnXnNQIgXc6HThQLYIHGfxVQxjVu/cnP56JcTxwrYfeS9LaN21g="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjUU7vACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmoivw/+JIxrnU6RXVKAC/lu+NzeQRmQn9fsygVjB2fa2MX4NrD97Ln8\r\nl6D+s0R4kHtqs1cUpVHaVpymcycmHnlTaIVLffY3QjIlQHZFKBrSbCPmag84\r\nBB29fIYVrPdYTXoQQiGICisL0QIG6Y0V3uGZCZI9/lhUk4UpQ6evtCB90WIr\r\nCnWCwfBL0Gk/N0eHAMPgYZJgUgr/9hj9SiMMw7dJVGKD/oMjguFL9QaVjLSx\r\nmr0zdvVgIjNok18SG7uGaFJbWLygvCnFTCgHrgbqjmZgvl995AKTFQ6XpKLw\r\nR0CBP4uaZIduv25wvTcYE+rzITHaK9HyXjOpMtEYY2McokG2IAY4WHAG9MND\r\nvypyE5W/CEI78mQTBG725xHuxnYQbpwLmo7pRDhKulf1r32w08HcMxtpU5fG\r\n/ut2Dg5lBq810xeusiYG4iHtRSlcRWoIr4Djaq9QzujAL4HjELues9hwnsp2\r\npHOyiD1UAG5OO9/4s6JLElCmKPNwAdCxJcn8tRiI+1x6qrwugAlPGCeD8Lez\r\nCP5GSasDMCXYf2atx5d5WghDbAs4BYurGJmqbCPooShIWwDyeNP3o11xm5Wb\r\nKqAXod/2p22sGnpVy9PVRAVJOXK73/YpJUEwBJ8wN/Hu9OVERlpaJWBgtEmj\r\nOMi+YSJdP5j0F4CFO7/9wRs9JLYH+1T0VJk=\r\n=KDc+\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.5_1666273006717_0.5022888484856438"},"_hasShrinkwrap":false},"0.1.6":{"name":"@cicada-lang/mugda.sexp","version":"0.1.6","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.2","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"75f13d605e061265797c8cc873e8be8d7c913258","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.6","_nodeVersion":"18.11.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-60HeXFAvINk4pj+Qle/D7AeTt42ietPlH9CxQAXHslXJuwHUJaWpglqNehGBHaVITqOzo2xOKI/23ZNpoS9ZdQ==","shasum":"002e47b23a8daf18ada294c2cf706f8cc7a1e0e6","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.6.tgz","fileCount":262,"unpackedSize":242346,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCICJmU2NpnUeuGGomFGObnXOyEc4mBsaKgosiVjixITRcAiEA+GGjpqYVR87hA7PJ8nPcsPsT+KygB9Mm8azVuf9WgRA="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjUkgeACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmqWaxAAlm7I81zwv/XkUDeLZ7L/wrOhJWJgj3leTRhogTGNdDXmsrgJ\r\nWcSu6KUHtmX2Tw9GI0rcJyNIduPY5V75lM5lLJ3tlYqRSTVYZapDK5IuYTaf\r\n//9DE0bA8QRwXNwfom059SFThpdWTLM/s9Pz60/qPg2U4MTL0P9H8ckXTmV/\r\nlx6C+ScYefry5jei0Ip2Jh8N3fPLzd+K/VfMlJpUNGKy5Qnl3lzjNW0fPHY1\r\npH51zmE+zozYmRgcwjBgSLmWx6QTQA4RlwAg7vcbd5kNyzV5JCQU6HPs02fw\r\nutJYALI0WRAnAQN5K+5sdxeQHPO/9EIvwLSHu+gR66oHv2e8JPpFMlnJNJrk\r\nIPs9M29Dwx13MRzUUqkstgDBThXofR9JClzyVs8sTOJYI8oAlXDYILTDwoCc\r\nBZvL/mY1o/Ww8mRbgEcY/Fbb973wfd7/4Q+/kGNONu9tFWNrioya6oiLEPG/\r\n+xbk7+GnIR0JmWBGLcqJ0Y3F7OaRTPQcrQ1yEiV4If+Zjf+RFw6s1mVoCqC6\r\nDF/skrqaWfhzxeU7ObQi7LjJUgTaBe7HyYf9bpEI7KDLkpK1RT8ITheHR9mk\r\n7uoclzykovmyTeTqlIb3YQjVHEPd8jywGXjT+jo4K4iasmula0oElhqBmanj\r\nStfaSR0Ma3jnE0CD/Ox7mkXu32YuMkoub5c=\r\n=He/k\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.6_1666336798511_0.3015048338562645"},"_hasShrinkwrap":false},"0.1.7":{"name":"@cicada-lang/mugda.sexp","version":"0.1.7","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.2","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"fc25deb791b228b48a7d09721ebfb9bec7e9f619","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.7","_nodeVersion":"18.11.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-vbkPIz0V9wimpTaaTp7zptDXj3fLb8eYxROxdIfiqsvDwBaTxqNEn1O12mLQ3fILkF+mGHaQKU/tMsKszqzzgA==","shasum":"f41c0559d9838336c7692e4a488fef670b7a04a2","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.7.tgz","fileCount":258,"unpackedSize":239942,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIBUaCB15bY94O4iKBkzjQ0vpC/Y4O1iqGXWL5HbTjMqiAiAr+F3cq0p4hOKCaMtmdDcikBAZ3/xt8VA9Z7C42h+Nug=="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjUmBvACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmrXCg/8DrCqmfadiIQhwTk+VuwRZUuSq/bWo8liE/eEDt3aR4VXpaQ3\r\nu/UhJRpAoj7Gz7HyZ0d4a/SYqGHEzj6gYKnqSLIHjEAQjK9MrMP1NwBv/UBm\r\nfkiWYuCNz9q6dwyoXlE+s3JgeG6Eg7Np72aSCiPrRv8LvUl9KcI4q3yD8OXj\r\n3N/qr+vhPz/kh62DhN0j3Nx3vRxW5xiLxnEtawgeg5SobPEkxOvjXgavzW+Y\r\nj4pydJRVhHUdDHdYf/x4es3nLdGZgG9ZO2lgJjYPKcVR4DOKM6CnenyT8B4D\r\nuDhV/LF1kY3s8PSMV6BHDWz2sPaQ6Cz+rS/6sewmA9KVmznWrho2FB3gnW9Z\r\nPXfpldttxmxPXZVWSZOh8g1XRg7K1yrlXDB3iJ75aILOGMHWmc//nZAZd2kn\r\nrC/jDPUGBEPrRd+XPGVqC6wLdtS4WJg3dT4YZHXUgQ7dsEbyj+UEFmjMDv9T\r\ns4srzPfDduIsaJINaMqNOg7RRv8GccS+sO35rTlnXhOJei9tEjy7nHF5/rO2\r\nF98UCGUMfME0DgtiudvlmH8ARwg+fqmmWhP5HVH0HB+qEgtV+2C7i8dWGDB7\r\n3lvRlFIfeLx26eiYDrIFP7YinANYGQVCO3Fjdg/PMvC1kPyiPmAnvcoJXgdj\r\ngRNfSdCg2yDx5HMmCt7flEaBP5jT8t0+/9s=\r\n=RAvO\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.7_1666343022805_0.9409989720257121"},"_hasShrinkwrap":false},"0.1.8":{"name":"@cicada-lang/mugda.sexp","version":"0.1.8","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.2","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"4f6a4310749cfe4c61af33bdd44b7d338f0e5083","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.8","_nodeVersion":"18.11.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-BlIGJZdOSMaem0eIxW4Zh3nzA/XoAHI33ZhKpRPe7+XoK/l9NjNTrmKXMYLu1oKTCASe0FcwYYLdgCaQVxgjxQ==","shasum":"40ce1b6f9ec01ff1f65b0b7d28b6b76193e3f399","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.8.tgz","fileCount":266,"unpackedSize":249562,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCsii2S4RfhqQSuOyoNujiDz2otF/rO7Ra2yVCQas6teQIgTtbi7P87G2sN6Sz21UOf8H6+74NkVrz/RZcD6K3aNBg="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjUmvJACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmqa4A/7BKpRcjcjuGdYeFeS6871jTseGdbJJJbwSu5bw/iqXNj57ux0\r\nvDOqyJI6LbrN7572n6caVFuTbOuORaafQpAEOLuVBMGkfR442sSQBnmdm7TA\r\nhrIFr9amhZGKJ+aDinIR6GYp2IPyv7sDUDg/wJt5UxV7IkkHMdl7MsmblvLA\r\ngZdbMP8MNFOEC2mctxeLAHjN3roOFvBPXlkzI0IjMqDCHDwZgpM0iu8bV9cG\r\nPgakfuNtFQwwVBQchh7dHjabFgeRSIwW5LKIaN2w658a0R+bAUvnrC1FV0fa\r\nJQEcVecf7wEXvQLMrFnjurlzE16faij+RRrMdDFsXpfA6/V1cfnWbdVesXm8\r\nMqDanPRJtxo01C7McfhZrUYmbgYeXhlpgM+7cXxRl29oeBJ4p4m/fI2KdzLN\r\nQqWYUjDSaaqDwvhY/PKxxfWa0ajFSPw4lvX8d0dIqw2qf8LB0sY5cWnSGGPL\r\nUVyzHBg7Av0iXzhMDOf6Yj1ejKF2l99aUOweq419myMlQw29C9+L3pzsLUo7\r\nwFnBD+B97KBvmDxDyp1hAe2VNKT7pmLS5wn8ZNSaOrC3lXPZBIC9iCWsO9XX\r\nFML1epX2qsQNbgTaYnH3JZ7r4djCvhBMhxiBMOfhmf8vVG+M2Do/1up75dDt\r\nbsrDqvNl+iUx1PJ1+/FdGLjSmorur0aY9NQ=\r\n=cYTk\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.8_1666345929133_0.7340568350008265"},"_hasShrinkwrap":false},"0.1.9":{"name":"@cicada-lang/mugda.sexp","version":"0.1.9","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.2","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"ad3ae21bb6487dd4f6831c8a15ed0d38661a642f","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.9","_nodeVersion":"18.11.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-P61PitNbEo4jFJexl3cyQemNx/Jb6D7QPGZo+QPjRIZQN24RAHFQkHwqZvtwLo1UwMUZczR5xDZ3+svRrhIsmA==","shasum":"48f0b1aff429d9484d686feebda51cfacd762bb8","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.9.tgz","fileCount":286,"unpackedSize":259285,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCICcukvx3M7Tk1ZvopsgXGCdac3ObMUZR7b4lWPD68CxkAiEAueCIqGlw2v0YDcTlaAj54wARji7o+7NW8rBVxY/QwzM="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjU1y2ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmpV7g/+NKeRGcEGQSIra38W+03CifcemFWytVTRcZ4NSMZTqhb+K1Tw\r\nzLvxV4A4GOalPreH9Q6MwBmkgTMk7CgnZMdDlVIv3u3FULqnfNbKO+1Vk2z3\r\nZ2tEchhT/0OvgDa0ReI1cY2LJleFSIoIKzqQFEkgX82REOvj57NDQ84gW9ww\r\nxIM6KsuEmAFJQ6qZhu39NiiagFVoZLfzf+NV9Z3NiUkoWp0S7xLR0njdTMZz\r\nf4MVN8ohZy8e0AjdwpFa+iC3dDJ2qFlBFtnuh6jNgmxTfhENUnEIWfqZ0cv3\r\n1FGtPIkQc65mIKIeWgTzHMpDdw0YJvk8A4TtfMowPPLLxK5ZCJ28YT2AUv/L\r\nw0C25TBJmjk/ufXzgXlfoQsQHW1O1AlLBy0aDz3kzvsxQAQcSPorsHOmmCcp\r\nbeF2XeluTjb/QCcN+bVsQ5yYjV/X1xec8bIgv2uMosi+P7oMM9pED+liyyX/\r\nR0fXHPYl6DMMMXfxRxiR90WdSUFIW5fJkX2illj7KnfZSW57+Zeb39AjZHTO\r\nOw/hpb2TmxP9jcfn47dKv7qKAd9j9HH6BLv0S3nMHdkodNZyCC2ZELNt+FdY\r\ncoMMVOuEoYUbA/MATcHefihUJtSbIdj0r3vBvda1yWNt1yXjY325741HV72e\r\n3px19LjSAbUYGGfHRsYhMhCZAHzHZNc9jNE=\r\n=GigC\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.9_1666407606719_0.032177211061504174"},"_hasShrinkwrap":false},"0.1.10":{"name":"@cicada-lang/mugda.sexp","version":"0.1.10","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.2","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"06827d7a6fc904e46b4f26d0d65f4269609d8db7","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.10","_nodeVersion":"18.11.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-bmyUtJhEUm5AFAyiH3M6ub9yE38erhByigsrV7UF51MNxudNhTJO66yLUr5GKN7N4ZPnhgdSyfw75fCYLFNakQ==","shasum":"6057e46efb063d18a1311f0b00b8ea67fc79609d","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.10.tgz","fileCount":268,"unpackedSize":247176,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQC+P86TZjI3UXJX5L37jmZDrTV4t0gojRgljWgiXLI8BwIhAM6bmFnb4gtw5N3ELZCNwBYSPfJTTeMYub7xIcO0F7FV"}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjU1y/ACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmruPRAAnPKG5GUZdOGro0Uof6rBKKTqx9uz3ym8ijKFMcslh8YQOTJg\r\nhJbCOBUIIVVzsdA77XHLWEZ9OiBLgTqS7s+/7NKPJEt1Wwxikh5TfPUY2FEP\r\nauNMvMtmZ+YIMR0HlFuYzBxH6SU7nA5AzSJpkZs3pe6Hjz3TtuIG5gfbPzfO\r\n5NA4Smw1WcNeLUAqmvEi/LkrsSvLnw0FE/swvD+T+YbE1xsNXnzeIr09varj\r\nP8D2PvtcyWhKsBqWoCk1w0nW+sGvy+GWt5NqP/4Gh/2OyVKhytGhfcarr58w\r\nCahMoIXMdof+3dO7fmimaH+qX6/pFGaAN/bSVUPkEPyoWHOWuLvYu0MFy9/3\r\nCwZgG02a37r+72AdwsPhSlYa2owt128FJNdaHPBrVYocIkCpiuzUurxxtO1p\r\n7BxwfK3pS7rXSIdl9SJEV0SmPNI0zYGlaibthNNG25suuSNRSx1JwNMZ+tGF\r\nf91Vab+EsEUVrwi3qrToTs9VBfT9P/Ybf7y5mPWBNfIZ03ur6Ka4nOrrN5p5\r\nYDdIPf9Rjh/t4ixOI1RzY9OSZmVWOtbyoDLCGNblhLmTBiqzbUeQvzXPZq3I\r\nGIX7TbSwPcjHQMaQiY3gSc/2FoIrTNzm94HJXxmEvGkzRO8QYzTSXWQ9opBY\r\nx1N+goWTCazCdIjfHcwrSfKHXV9SQyq15i0=\r\n=la/G\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.10_1666407615119_0.2211156725399186"},"_hasShrinkwrap":false},"0.1.11":{"name":"@cicada-lang/mugda.sexp","version":"0.1.11","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.5","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"994e7315011565553b1aed949bceb132ff5d5e60","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.11","_nodeVersion":"19.0.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-ZHHvayHRde1Le55Bo6KRx/JgmCGTa7FB81LJCtsY3PpyxSoTe8nBzx/DvayrpxQD4+Or2W8zS1NIYE8qn1wCtQ==","shasum":"285adf9614b32ba540e2f2a44150042a36311bf8","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.11.tgz","fileCount":290,"unpackedSize":273794,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIDEkRbv6E6V2uWqFjjJj3nM5wZsVZOBwPVxmsYeUEyr9AiAG/G45z3JupPPfkG8Y6O6DctFojDJZYhCmXr13NnBmzA=="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjV4wrACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmqNRhAAmoz4c4GPgzGhGBpnal/DoZOgR1m3kNhrPinX7XSswy2rAGKj\r\nqty94QzFUsJ3iob2oaGX8ckJqvrE+kWzlFMQvC0LoWfbpEst+N61Zk9MzIU3\r\n99EVHu/93HV4wL/x5Gb3hJx0azVPwiF2W2fuk/PCtPaC9ZXqZooBa4PtzbRB\r\nieRZ6/FYaFihzdD/2lci0RQeOOpwyG8IiHzJNKnzSpry+3On5RYPgVbe2djc\r\noXY4jIVzaLOYNJ4w3NnJfTvwUIpwfhr2hYY+QWYQFnMJTNO85hYschgsWng8\r\n336oEGovVbaYUyDf4y9UvXzwEUcp5Y9CdcF/s0cNgN3hSsDY4ur8vLYQFMCq\r\ncNVYPhhjMTpLrRa9VOcmGQ25iqYG5X37t2tYWCOlQjU5mvsCy7y7cBw9NqNc\r\ndNmBAAmJ6VfZND+IXvu0WB+taBlmZ9xJE7GgWb0lD76dtvYNkRhF16wV8VUG\r\ntOQb7wwZkj9yx64ANFGQFPjokAiUe/dKCxhNdw6MGkBgzJhTBZRvDZ9y9rSz\r\nzup3b5Pmsl62fUdAYCSxu6FgC5z5Vl+76mEdg5sO+nMtZ9gCda5R3C1PpUp0\r\nekk9lemKV84V7IE3PNc1nmLEQvmgfuUAhfeWh6GNtEpP4uVKslNmt8HER4JS\r\nSJ2vKvp+JVu53Cs7YGYzzp4hBjUzVbQP8ZE=\r\n=P+UW\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.11_1666681899600_0.020021905880070134"},"_hasShrinkwrap":false},"0.1.12":{"name":"@cicada-lang/mugda.sexp","version":"0.1.12","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.5","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"91c602d197987a875988d25358329e8f0ac6a91f","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.12","_nodeVersion":"19.0.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-exTKvPXfLoeoLiuiSx5vjYYY9BcZFu6kU2YgThNSCnOdnbVjNrned59276R0y6hTECSIG6fZCqlHt5VMsPXyLg==","shasum":"de467901c1e5be888db919481a60eebf122768dd","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.12.tgz","fileCount":290,"unpackedSize":273825,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIBXc7QfdUij6QNspeocbF186oKI5L1wZDW+BjshyUnTBAiBvoLxgkErZdoMJjellKme+wzbdoHO+AC10imWwLUgV6g=="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjV5EhACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmr3Dw/+IqpFEtxl18yy21SN2pJbGXpsmSM2izhRjHRnPIVHLW1q708U\r\nr1MZbqiumjnjns37snKqb/mS7G02lmKK2VUT0HoYxExPuGOs7oVq/YjVQlw6\r\nRpDyffeJkVwaWJAHpawgcclnD5ZrUbR+lBNiq8zDdzKrwjAJgMWn9QJfXuWK\r\nBUZ05tknblLk7xsA/TidOnhXcaBA6bBgyrPyDskPfW5zas47XrIy1VO/olsi\r\nMoZE0cxuEbF1FtNGeHU6Yd9t9efMGz0ni29BH5dPhcfsNcxnWeVtrsQCSLFU\r\n7ce4Yyq03Yi9RBNshKfr8mBoLiyVkwmuOQEaLwHlJJ6suHpI8RI9CZl1kMDB\r\nUzor1jQYFREytzn/9jmMsNnY3XPZNTn3zeu+aHCkEBWsYuWgjBmJJ7DjEpjg\r\nefTQlUVM0KKZiHHGGRyfb9pzBGS6l+TnX2JXbVJJWc5jXEcRBR0iEd47BlWa\r\nQMi/fpWDVfJFsoRE8BxHneC2cpvs9mLGv9VRdM8SoQBTfOvyFAwLsg813H47\r\n3LIXRkOl7InoyEsklkimIvN8u7DG2gwX90ohXZZIN5xUdGkrwGCPz/mjnlcF\r\nx5lwS4igSf+8ihCBcUuI5G/A1yQ2+r7uqLJ8l7cNf9qmnHhjoZheP7AxTQR4\r\nvSMe8YG27v/QlDvOJ7dGD6wx3/hOBwHE460=\r\n=fyC3\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.12_1666683169405_0.7944768564150015"},"_hasShrinkwrap":false},"0.1.13":{"name":"@cicada-lang/mugda.sexp","version":"0.1.13","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"main":"./lib/index.js","bin":{"mu":"bin/mu.js"},"scripts":{"prepare":"husky install","build":"tsc","build:watch":"tsc --watch","test:ts":"vitest --dir src --threads false --run","test:watch":"vitest --dir src --threads false","test:coverage":"vitest --dir src --threads false --run --coverage ","test:gui":"vitest --dir src --threads false --ui","test:tests":"test-runner snapshot './bin/mu.js' 'docs/tests/**/*.(mu)' --exclude 'docs/tests/**/*.error.(mu)'","test:tests-error":"test-runner snapshot-error './bin/mu.js' 'docs/tests/**/*.error.(mu)'","test":"npm run test:ts && npm run test:tests && npm run test:tests-error","format":"prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.22","@cicada-lang/sexp":"^0.0.36","@xieyuheng/command-line":"^0.0.7","@xieyuheng/ty":"^0.1.17","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","lodash":"^4.17.21","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/lodash":"^4.14.186","@types/node":"^18.11.5","@vitest/coverage-c8":"^0.24.3","@vitest/coverage-istanbul":"^0.24.3","@vitest/ui":"^0.24.3","@xieyuheng/test-runner":"^0.2.5","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.4","vite":"^3.1.8","vitest":"^0.24.3"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"gitHead":"bbf855c47a50ab205a7aced0ef845cf121cc1a37","description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"homepage":"https://github.com/cicada-lang/mugda.sexp#readme","_id":"@cicada-lang/mugda.sexp@0.1.13","_nodeVersion":"19.0.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-s853REO1dlmjFT9Ocujbqo2/u7HPmexxz0UmpsTFlja/qxxf4A3iSdB6Q3UjwEmratVHxuW607I/Z4rolYd08g==","shasum":"e7f94c3a7aa70fb9d73cbd0035ff4a97ed1de426","tarball":"https://registry.npmjs.org/@cicada-lang/mugda.sexp/-/mugda.sexp-0.1.13.tgz","fileCount":290,"unpackedSize":273825,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIFqbVWimborhlXVHGmVXyf2UdP6qEGMnSBj/ZIstBZmFAiEA2XPuYaVFJFNX5xK5Ewike6n2cVLArruorTlfuIUX5Pw="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjV5FQACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmrjUA/+K4FXAuYIreJhEKiHYqMZSNc0TF9RflknGPFeaiF5fYA/er1n\r\nzon06+9bQC8e0KXtrgEwWEis0IHi8LWmTFCHyHhSWeJOiuu1QmO+koyorPm8\r\nQ1iIlMH6ADTBiGSh8CaSQB710wDmCC+IewBvMxcSpL/AhmH4lHLQ+GgyiXwC\r\n3wfEgAZzCyPOeAvl4YPl70U8YkkWEAoTo/o9s1CMJKGqHUD4mKUthQ0r0006\r\nuDL2sAnszSYpgYIcL2Nje2K5A6xoGca3Cqiw2LLjD7rxK/DXvs0TBbxGyI1G\r\nRBNN3C5/FUm5Zq8Yg2iaHazA7T5gDqjjGpXsmhZvR698HlT1n3Fkn/9UNvcX\r\nAzjktXHC+nGKbEqm2yTk8uYEODxbm70XblGNa1w0hI8txnMIc78Vn4YiIG/l\r\n9BTmgoD7sz6gRXAxHvEKj8W+XP53VbnjWZB5Mjc7c3ziTHpZTgtixVYAXv45\r\nhXvqCkyQwKlpjw7GWSlhLrAqDlWneM1YxiCNnkW1CzL+8MURNcxE6+LTtBbH\r\nZynZ2Ap640UXHV98PzxT1C9NIRt+O8Qrvcv0OzU5NKoJ/2nxwYYNUsLDNg1A\r\nCTfadN8sy9xWMoyWCqs6sl9RoPr2QK8xaHqdEPCOpuHv/vNRbMwteEMlkpCg\r\nLKsR+U7wOpSGA7t1BqRZTTocGSpf7HogzIE=\r\n=HqG4\r\n-----END PGP SIGNATURE-----\r\n"},"_npmUser":{"name":"xieyuheng","email":"xyheme@gmail.com"},"directories":{},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages","tmp":"tmp/mugda.sexp_0.1.13_1666683216088_0.8834525253453733"},"_hasShrinkwrap":false}},"time":{"created":"2022-10-19T02:30:39.205Z","0.1.1":"2022-10-19T02:30:39.516Z","modified":"2022-10-25T07:33:36.461Z","0.1.2":"2022-10-19T03:32:30.606Z","0.1.3":"2022-10-19T13:27:05.143Z","0.1.4":"2022-10-20T07:22:20.875Z","0.1.5":"2022-10-20T13:36:47.010Z","0.1.6":"2022-10-21T07:19:58.726Z","0.1.7":"2022-10-21T09:03:43.016Z","0.1.8":"2022-10-21T09:52:09.305Z","0.1.9":"2022-10-22T03:00:06.966Z","0.1.10":"2022-10-22T03:00:15.356Z","0.1.11":"2022-10-25T07:11:39.880Z","0.1.12":"2022-10-25T07:32:49.614Z","0.1.13":"2022-10-25T07:33:36.349Z"},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"description":"An implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.","homepage":"https://github.com/cicada-lang/mugda.sexp#readme","repository":{"type":"git","url":"git+https://github.com/cicada-lang/mugda.sexp.git"},"contributors":[{"name":"Xie Yuheng | 谢宇恒 | https://xieyuheng.com | https://github.com/xieyuheng"}],"bugs":{"url":"https://github.com/cicada-lang/mugda.sexp/issues"},"license":"GPL-3.0-or-later","readme":"# Mugda\n\nAn implementation of the [Mugda paper](docs/papers/termination-checking-for-a-dependently-typed-language--karl-mehltretter.pdf) by Karl Mehltretter.\n\nThe \"Mu\" of the name \"Mugda\"\ncomes from [μ-operator (mu-operator)](https://en.wikipedia.org/wiki/%CE%9C_operator)\nof [general recursive function](https://en.wikipedia.org/wiki/General_recursive_function).\n\nNotes about our implementation:\n\n- Use [S-expression](https://github.com/cicada-lang/sexp) as overall syntax, to expression ideas clearly.\n- Close to the paper, so that the code is easy to be reviewed with the paper.\n- Add comments about alternative ways to implement the same ideas.\n- Do not follow bad naming conventions of the paper.\n\n## Usages\n\n### Use our server\n\n[**mugda-server:**](https://github.com/cicada-lang/mugda-server) A server that can run mugda code.\n\nRun a file:\n\n```bash\ncurl https://mu.cic.run --data-binary @docs/tests/basic/let.test.mu\n```\n\nRun multiline text (bash and zsh):\n\n```bash\ncurl https://mu.cic.run --data-binary @- << END\n\n(data Nat () ()\n  (zero () Nat)\n  (add1 ([prev Nat]) Nat))\n\n(fn add (-> Nat Nat Nat)\n  [(x (zero)) x]\n  [(x (add1 y)) (add1 (add x y))])\n\n(add (add1 zero) (add1 zero))\n\nEND\n```\n\n### Command line tool\n\nInstall it by the following command:\n\n```\nnpm install -g @cicada-lang/mugda.sexp\n```\n\nThe command line program is called `mu`.\n\nopen a REPL:\n\n```sh\nmu repl\n```\n\nor just:\n\n```sh\nmu\n```\n\nRun a file:\n\n```sh\nmu run docs/tests/basic/id.test.mu\n```\n\nRun a file and watch file change:\n\n```sh\nmu run docs/tests/basic/id.test.mu --watch\n```\n\nRun a URL:\n\n- All files in this repo, can be fetched from: [`https://cdn.mu.cic.run/<path>`](https://cdn.mu.cic.run), <br/>\n  and any other http server that serves `.mu` code would also work.\n\n```sh\nmu run https://cdn.mu.cic.run/docs/tests/basic/id.test.mu\n```\n\n## Notes\n\n### Zero arity data constructor\n\nWhen using zero arity data constructor, we must write them in `()`.\nFor example, `zero` and `(zero)` are the same.\n\nBut when using zero arity data constructor in pattern, we must write them in `()`.\nFor example, we should not write `zero` but write `(zero)`,\notherwise the interpreter can not distinguish pattern variable\nfrom this zero arity data constructor.\n\n### Syntax of inductive datatype definition\n\nThe syntax of inductive datatype definition -- `(data)`,\nis learnt from [\"The Little Typer\"](https://mitpress.mit.edu/9780262536431/the-little-typer).\n\n## Examples\n\nTODO\n\nPlease see [**docs/tests/**](docs/tests/) for more examples.\n\n## Development\n\n```sh\nnpm install           # Install dependencies\nnpm run build         # Compile `src/` to `lib/`\nnpm run build:watch   # Watch the compilation\nnpm run format        # Format the code\nnpm run test          # Run test\nnpm run test:watch    # Watch the testing\n```\n\n## Thanks\n\nThank you, Karl Mehltretter, for writing this paper.\n\n## Contributions\n\nTo make a contribution, fork this project and create a pull request.\n\nPlease read the [STYLE-GUIDE.md](STYLE-GUIDE.md) before you change the code.\n\nRemember to add yourself to [AUTHORS](AUTHORS).\nYour line belongs to you, you can write a little\nintroduction to yourself but not too long.\n\nIt is assumed that all non draft PRs are ready to be merged.\nIf your PR is not ready to be merged yet, please make it a draft PR:\n\n- [Creating draft PR](https://github.blog/2019-02-14-introducing-draft-pull-requests)\n- [Changing a PR to draft](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/changing-the-stage-of-a-pull-request)\n\nDuring the development of your PR, you can make use of\nthe [TODO.md](TODO.md) file to record ideas temporarily,\nand this file should be clean again at the end of your development.\n\n## License\n\n[GPLv3](LICENSE)\n","readmeFilename":"README.md"}