{"_id":"@cicada-lang/cicada-next","_rev":"2-cef1918a3eb7def751de8419fdce6a43","name":"@cicada-lang/cicada-next","dist-tags":{"latest":"0.2.3"},"versions":{"0.2.1":{"name":"@cicada-lang/cicada-next","version":"0.2.1","repository":{"type":"git","url":"git+https://github.com/cicada-lang/cicada-next.git"},"main":"lib/index.js","scripts":{"build":"npx tsc","watch":"npx tsc --watch","test":"vitest --run --dir src","format":"npx prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.20"},"devDependencies":{"@types/node":"^18.7.13","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.0","typescript":"^4.8.2","vitest":"^0.22.1"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng"},{"name":"LittleJian"}],"gitHead":"32a29aa6ebc59f13964bbc3d6cc6a527adbf968b","description":"[ [HOMEPAGE](https://cicada-lang.org) | [MANUAL](https://readonly.link/manuals/cicada-lang/cicada) | [ABOUT](https://cicada-lang.org/about) ]","bugs":{"url":"https://github.com/cicada-lang/cicada-next/issues"},"homepage":"https://github.com/cicada-lang/cicada-next#readme","_id":"@cicada-lang/cicada-next@0.2.1","_nodeVersion":"18.7.0","_npmVersion":"8.15.0","dist":{"integrity":"sha512-1qLi81IZATaRs54UuW4j80YMDx8Oxr3XjCRCUTJ2m4gnEBz6i5Y93FJhBQ3HtpDw19+eMCx/HzmG0WyKxz9Xnw==","shasum":"8a46bb2b327609b1816770eb574ff8ad13fee09d","tarball":"https://registry.npmjs.org/@cicada-lang/cicada-next/-/cicada-next-0.2.1.tgz","fileCount":93,"unpackedSize":109982,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEYCIQCnbR8cICuVyDxbhrb+EwZZNZskKvEsBoPP9T6gTd0oxwIhALJZ+oIvcxBxuQyt11sBOEKm71PFgECkfzjFDCkdZSqd"}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjCTtFACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmp0jhAAhCg0YxKPyk92ktsYxNbwz9fynygQyIPjLdsXoLk9Q9BClygj\r\nRbQBKQ635J5UqD1qcA7S7yyOxI57PMZHCFDnSTiKhlTX6XRmbO1KBH1i0J67\r\nPFaB2+fct8OItp6nCPDWhJjgA76FzPg4TxPxOB0mUzFg0NhkqXI6E1bZkhuW\r\ntNZzDAa//P4AZ7M19RfxrasvzRj3g4+Uwsc3tmQ/3hBolB1NK325VELhY4fg\r\nIelSasU6RXrTtjrkpU07YggdMnCsxWRqgYFCBm1XIM2glc/3scojzMLJ0U/O\r\nNoQDjPXMB/2ZNc+v4lbMFoAoHRMLOwKm6A1pB6OdJkGkQmyI/XYf9S76I4o1\r\nW4VE7Z1uvJ2nL8c9ox+kohEhO6lYczGnA7QuKyofUd7+CqPdeemaVYPWAR/l\r\nW9Eh7pIWOJcsABo8hNTO7OGOYDYDuzJHNA30jfgkF+MriZFZ2lhY6O1FYCst\r\nPdYbRvYtcnW9c556JKFktmkgpesj5AkKkuQZSTI3lkg3h+xly0RhUgzLQSj2\r\nW2YwIUSTkFDwSmv4VUTJbbdGYZgp5Zms80dceITUo11fWbq+ZnO1/Gs3O0/T\r\naSJHQ9jOkio1y6L7PywHIcXzNS6lJgRau4TEStSdrNJ6aHBcpZBBTvv4uk2U\r\nqarA017KZdpR2FCLkmkyHyQbZueeKG2X+xM=\r\n=/wGG\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/cicada-next_0.2.1_1661549381650_0.4298449940550224"},"_hasShrinkwrap":false},"0.2.2":{"name":"@cicada-lang/cicada-next","version":"0.2.2","repository":{"type":"git","url":"git+https://github.com/cicada-lang/cicada-next.git"},"exports":{"./":"./lib/"},"scripts":{"prepare":"husky install","build":"npx tsc","watch":"npx tsc --watch","test":"vitest run --dir src --threads false","test:watch":"vitest watch --dir src --threads false","test:coverage":"vitest run --dir src --threads false --coverage","test:gui":"vitest watch --dir src --threads false --ui","format":"npx prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.20"},"devDependencies":{"@types/node":"^18.7.14","@vitest/coverage-c8":"^0.22.1","@vitest/coverage-istanbul":"^0.22.1","@vitest/ui":"^0.22.1","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.2","vite":"^3.0.9","vitest":"^0.22.1"},"license":"GPL-3.0-or-later","contributors":[{"name":"Xie Yuheng"},{"name":"LittleJian"}],"gitHead":"59ba9f28e7fa10a223fed11c4423d44a17771be7","description":"[ [HOMEPAGE](https://cicada-lang.org) | [MANUAL](https://readonly.link/manuals/cicada-lang/cicada) | [ABOUT](https://cicada-lang.org/about) ]","bugs":{"url":"https://github.com/cicada-lang/cicada-next/issues"},"homepage":"https://github.com/cicada-lang/cicada-next#readme","_id":"@cicada-lang/cicada-next@0.2.2","_nodeVersion":"18.7.0","_npmVersion":"8.15.0","dist":{"integrity":"sha512-7SBn911wkk16iRlKVybxTb8X88NRgWAC+V11QJjd+2+NmC3VMe+SMvNRmKQTdHjF4zx2NdrXlHr9QdG7y5ub8w==","shasum":"3f909a52a79efc053a1d0ffc470f9d7e54cbb14c","tarball":"https://registry.npmjs.org/@cicada-lang/cicada-next/-/cicada-next-0.2.2.tgz","fileCount":273,"unpackedSize":261376,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIHn2sYFp5RHKf/i78NrWi/lPGQVZjttZXwWM3scNBJttAiEAirsbBL0MJ5n12GGfKPmMqGhpwXxdDM5sgjN4pgT7DEU="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjEqHaACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmov5g/+PLU2mQcZAF1FNP6QihDKeS2Rajn+jtGC2oH/XFoftTcmro0u\r\nE8TFhRrCZgrzLKfVZMbQ269swOK7De/L1PsC1QLn66Sjsn+sOchqfa11sfu+\r\n4ZAepnrOhodTp5B+dazaQfoHI5kTzZGmfDwNSvwKU5sF/6Qc1oj065dzh+At\r\nkqE5/u8NM3T6C5vh+uqI2QPZtgc8Ar0ubhV9lmOf+fOx4a/BnFt41Ymri+mI\r\nQhsLN16lA40+H0rpmM7qegK+OF/tFzkCRPAQT/Bch3C6yRBDfvWrP6bdjYMG\r\nSeQ/+YZOtKKXWN2vcwLNYw5+Exk8Z1SyfJsOvF0/UtFN7AipnBQzkUlYLsuj\r\nvdEOH6o4NWQGciIAvDPb5usmgK8vrMWiBHaf8ztvwqJl1xrPyZngzjoi383Y\r\ndn970bj7prmnLUFXTpZTIwk/TUh/uP0ggUtI7tC5DwEFTB9AVMsOhKny0phC\r\nbU2jo7FWEhJfx8XRPm6qA7OXcTQXbraM9gNu+3uxDESm9T2ja1Kp4BSEUqky\r\n+I7gMtT/ElQbn/9/MBc0xKVlFVtMfhaTozl54LLeH4G8H/bal91VScjPR1Gk\r\n7TO0wqyq6IjYqS/OX2QB3US0QAjuYcRFsQmOKbslnq+zKWQPXbnsvK7awqq/\r\nPSL5Ma7bM7h7/IWQfTTqkaVamqAWkiYAXLM=\r\n=KipY\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/cicada-next_0.2.2_1662165466743_0.48343471363829793"},"_hasShrinkwrap":false},"0.2.3":{"name":"@cicada-lang/cicada-next","version":"0.2.3","repository":{"type":"git","url":"git+https://github.com/cicada-lang/cicada-next.git"},"main":"./lib/index.js","scripts":{"prepare":"husky install","build":"npx tsc","watch":"npx tsc --watch","test":"vitest run --dir src --threads false","test:watch":"vitest watch --dir src --threads false","test:coverage":"vitest run --dir src --threads false --coverage","test:gui":"vitest watch --dir src --threads false --ui","format":"npx prettier src --write"},"dependencies":{"@cicada-lang/partech":"^0.1.20"},"devDependencies":{"@types/node":"^18.7.14","@vitest/coverage-c8":"^0.22.1","@vitest/coverage-istanbul":"^0.22.1","@vitest/ui":"^0.22.1","husky":"^8.0.1","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","pretty-quick":"^3.1.3","typescript":"^4.8.2","vite":"^3.0.9","vitest":"^0.22.1"},"license":"GPL-3.0-or-later","types":"./lib/index.d.ts","contributors":[{"name":"Xie Yuheng"},{"name":"LittleJian"}],"gitHead":"0d451ebe554903d151fba709a5127c1839389b93","description":"[ [HOMEPAGE](https://cicada-lang.org) | [MANUAL](https://readonly.link/manuals/cicada-lang/cicada) | [ABOUT](https://cicada-lang.org/about) ]","bugs":{"url":"https://github.com/cicada-lang/cicada-next/issues"},"homepage":"https://github.com/cicada-lang/cicada-next#readme","_id":"@cicada-lang/cicada-next@0.2.3","_nodeVersion":"18.7.0","_npmVersion":"8.15.0","dist":{"integrity":"sha512-CK79sCphgoy0cKSR0RcJMzpIqW+qOuzqcirKTeB4pHg/OqQrfYLD0ThothAsJdHru2PhzdTK8yed860u4Ig8Aw==","shasum":"d1e2d32d0844ade362909e58c0a891ba1a7ed66c","tarball":"https://registry.npmjs.org/@cicada-lang/cicada-next/-/cicada-next-0.2.3.tgz","fileCount":273,"unpackedSize":261365,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCr2y7j7Wq7dHAO/qucQMoibx2oEn+iG0RWezZF9SLy4gIgAQVmpGOcKPxNOyqOGOOu6rxW2gurWXpj+R5xqn2LLv8="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjEqZtACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmrp6g/9GeSTlFu7mU5gK5wYW5khjvpohy8u2l9FmeEWmroJtBJqfG6P\r\nlW66odjY+++PW0R7ldNAIG4J1mfmETZaaaBN3LHlkpvwmsf7cCEFyjk9+1wg\r\nDIwUzNWIFkEUCZtsSLNGyqaJbiFIx1/zQ3R9FJz030Dl3JIoYc0Yfv+ljddV\r\ndt9pW8GMwOuZ7G5u1k4lbcP3rK6rddGE9/Yv+kYDIcuk0RRjcooBS/YWVMRt\r\n20dcma1chSiWi3j2QNISu8klcR5jM6Hv5aCd6/YTyAEJkPEfRVkbNy4FZ4Vk\r\nit7zs2J1kgTwSJlE3qWhVC8mLdKJ87yvO8cvGTr3ITtC+4jCXB+Dw0fLxFSI\r\njZSeE8D25xGlji4extEs0s+a0tHP/lMHLyt2NL0ndlheQLFCX5qDdckNzs6j\r\nQ3kIQvrxrmltlNyJG2259/qmpZCHZHabeLej5QSwy/Lu3Jkp3RHv6tbUPWA6\r\n30dfvTp5UWtBbrFDVStF+EcaVDWx58qcpjOwdbzRIrOgQExUsP6wwVJ2mWG9\r\nCa1JWd/m+siM0/vzacVv/+qMEWC0z0rFmJQyD/SyfDhamZ7I310tWYPa9PZM\r\nHZStS4/5kxos/u2lNHK5i6nmPZD/exqp0roTLi2W4wulPgX4+mwblOEulJmS\r\nq27r/SDSbt9WOF2r2iXkXBzsZblGnCzFB1U=\r\n=gEnT\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/cicada-next_0.2.3_1662166637120_0.9424268366249384"},"_hasShrinkwrap":false}},"time":{"created":"2022-08-26T21:29:41.597Z","0.2.1":"2022-08-26T21:29:41.908Z","modified":"2022-09-03T00:57:17.452Z","0.2.2":"2022-09-03T00:37:46.912Z","0.2.3":"2022-09-03T00:57:17.366Z"},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"description":"[ [HOMEPAGE](https://cicada-lang.org) | [MANUAL](https://readonly.link/manuals/cicada-lang/cicada) | [ABOUT](https://cicada-lang.org/about) ]","homepage":"https://github.com/cicada-lang/cicada-next#readme","repository":{"type":"git","url":"git+https://github.com/cicada-lang/cicada-next.git"},"contributors":[{"name":"Xie Yuheng"},{"name":"LittleJian"}],"bugs":{"url":"https://github.com/cicada-lang/cicada-next/issues"},"license":"GPL-3.0-or-later","readme":"# Cicada Language\n\n[ [HOMEPAGE](https://cicada-lang.org)\n| [MANUAL](https://readonly.link/manuals/cicada-lang/cicada)\n| [ABOUT](https://cicada-lang.org/about) ]\n\nWelcome **\\*^-^\\*/**\n\nCicada language is a *dependently typed programming language* and an *interactive theorem prover*.\n\n> The aim of cicada project is to help people understand that\n> developing software and developing mathematics\n> are increasingly the same kind of activity,\n> and people who practice these developments\n> can learn from each other, and help each other in very good ways.\n\n## Development\n\n```sh\nnpm install     # Install dependencies\nnpm run build   # Compile `src/` to `lib/`\nnpm run watch   # Watch the compilation\nnpm run format  # Format the code\nnpm run test    # Run test\n```\n\n## Community\n\n- GitHub: [github.com/cicada-lang](https://github.com/cicada-lang)\n- Telegram: [CicadaLanguage](https://t.me/CicadaLanguage)\n  - 中文 / Chinese: [CicadaLanguageCN](https://t.me/CicadaLanguageCN)\n- IRC: `#cicada-lang` at [libera.chat](https://libera.chat)\n\n## Contributions\n\n> Be polite, do not bring negative emotion to others.\n\n- [TODO.md](TODO.md)\n- [STYLE-GUIDE.md](STYLE-GUIDE.md)\n- [CODE-OF-CONDUCT.md](CODE-OF-CONDUCT.md)\n- Remember to run `npm run format` to format the code.\n- Remember to add yourself to [AUTHORS](AUTHORS).\n\n## License\n\n- [GPLv3](LICENSE)\n","readmeFilename":"README.md"}