{"_id":"@cicada-lang/cicada-sole","_rev":"3-ad135f22a4ad849ba04f55395ea62e02","name":"@cicada-lang/cicada-sole","dist-tags":{"latest":"0.7.12"},"versions":{"0.7.9":{"name":"@cicada-lang/cicada-sole","version":"0.7.9","repository":{"type":"git","url":"git+https://github.com/cicada-lang/cicada-sole.git"},"bin":{"cic":"bin/cic.js"},"scripts":{"build":"tsc","watch":"tsc --watch","format":"prettier src docs --write","test:test-case":"test-runner test 'test-case run' 'lib/**/*.case.js'","test:js":"test-runner test node 'lib/**/*.test.js'","test:snapshot":"test-runner snapshot node 'lib/**/*.snapshot.js' --extern snapshot","test:manual":"test-runner snapshot './bin/cic.js' 'docs/manual/**/*.(cic|md)' --exclude 'docs/manual/**/*.error.(cic|md)'","test:manual-error":"test-runner snapshot-error './bin/cic.js' 'docs/manual/**/*.error.(cic|md)'","test:tests":"test-runner snapshot './bin/cic.js' 'docs/tests/**/*.(cic|md)' --exclude 'docs/tests/**/*.error.(cic|md)'","test:tests-error":"test-runner snapshot-error './bin/cic.js' 'docs/tests/**/*.error.(cic|md)'","test:articles":"test-runner test './bin/cic.js' 'docs/articles/**/*.(cic|md)'","test":"npm-run-all test:*"},"dependencies":{"@cicada-lang/partech":"^0.1.20","@xieyuheng/command-line":"^0.0.7","@xieyuheng/test-case":"^0.0.14","@xieyuheng/ty":"^0.1.17","axios":"^0.27.2","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/node":"^18.7.18","@xieyuheng/test-runner":"^0.2.5","npm-run-all":"^4.1.5","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","typescript":"^4.8.3"},"license":"GPL-3.0-or-later","contributors":[{"name":"Xie Yuheng"},{"name":"Zaoqi"}],"gitHead":"1c73e1d1feafdd3bfda7f03463ebf32adc6fbf16","description":"**This is an old implementation of cicada language before we have an active team.**","bugs":{"url":"https://github.com/cicada-lang/cicada-sole/issues"},"homepage":"https://github.com/cicada-lang/cicada-sole#readme","_id":"@cicada-lang/cicada-sole@0.7.9","_nodeVersion":"18.8.0","_npmVersion":"8.18.0","dist":{"integrity":"sha512-Qw/4u+eLUiOPVgY/F7BrWAniGLxaDHGGycUn5l59nEjrdMsGqFkiTBvuZvTFTwnSqmctFkOwyDToPrmhOA638A==","shasum":"b66e6b57fbdab736528b644c3d0f5615ccf28290","tarball":"https://registry.npmjs.org/@cicada-lang/cicada-sole/-/cicada-sole-0.7.9.tgz","fileCount":548,"unpackedSize":716550,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIETxPsJkB73pO5rjvmB1Eio2bocl0hdGEo4SUtK1LcCJAiBN2djqNyhLfllGwGmCuOchYJxWP05tfa5gB6KdamKc1Q=="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjIwzSACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmpQWBAAguNRZKTMdXQOOdpQSAlIYMU+Sn2DtYouaD8+KTZ0gdFKlNkM\r\ncYe5y2n5MHN9ts7DKYPOl6A3iHG+U2tZxVNlIi+f5wdSwo1HBdhdBObKuVOJ\r\nkBnLVij9KpNMmlG1FDAoWYZZoLcQ+2Jr8NNgYGlXoipWHvWR+FxFRmVmOrcZ\r\nYVALgt14lbaoI01ihnvURe9JL0nJGUWZCKZJuySqzbj5CxI5ZktvqtDHCv+M\r\nyCPtzaCIcUbNHZJrgySKa6Y1x9aiTMRsym6FakiVKutKAnFF8Ab2ep3VYqPD\r\nNwsKZK0j5WBJadaLumEyHcFl7ZJ36Qpf0nsJdbrgsYbFElsaN71iKrMyJ79u\r\nYRu/zR7V0/Qn637lIGpnH0pzMRpzqZCNl29+pSN3A2tyBRTexUCGuqkLDBBT\r\nJxLc2K9m/jnIudRqeyFA2f3/qHFoebI3AZtzK6p7PP1EOV5G/1Dn6LuHVwRW\r\ncRgCimyOJWWADg/Btl+L7vEUfFpND63F3RpPx1Z/AiIT8J0BltiGcLF7J0KX\r\nQC14RhE+VsBeWB1NOET7UMLe5j/E/+l4SipU8bgFRiBimXodrUZLyi7CLtQS\r\nl1JltqQqwvM6QADQMit/gwnEfJL5Nneb6JxE+JPQwgjtweE88YEmQ0c8uKDw\r\nSePiFm6kAGfEw3ELZgEvTgouYhxzv3F1s/k=\r\n=j51c\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-sole_0.7.9_1663241426401_0.6522421653176274"},"_hasShrinkwrap":false},"0.7.10":{"name":"@cicada-lang/cicada-sole","version":"0.7.10","repository":{"type":"git","url":"git+https://github.com/cicada-lang/cicada-sole.git"},"bin":{"cic":"bin/cic.js"},"scripts":{"build":"tsc","watch":"tsc --watch","format":"prettier src docs --write","test:test-case":"test-runner test 'test-case run' 'lib/**/*.case.js'","test:js":"test-runner test node 'lib/**/*.test.js'","test:snapshot":"test-runner snapshot node 'lib/**/*.snapshot.js' --extern snapshot","test:manual":"test-runner snapshot './bin/cic.js' 'docs/manual/**/*.(cic|md)' --exclude 'docs/manual/**/*.error.(cic|md)'","test:manual-error":"test-runner snapshot-error './bin/cic.js' 'docs/manual/**/*.error.(cic|md)'","test:tests":"test-runner snapshot './bin/cic.js' 'docs/tests/**/*.(cic|md)' --exclude 'docs/tests/**/*.error.(cic|md)'","test:tests-error":"test-runner snapshot-error './bin/cic.js' 'docs/tests/**/*.error.(cic|md)'","test:articles":"test-runner test './bin/cic.js' 'docs/articles/**/*.(cic|md)'","test":"npm-run-all test:*"},"dependencies":{"@cicada-lang/partech":"^0.1.20","@xieyuheng/command-line":"^0.0.7","@xieyuheng/test-case":"^0.0.14","@xieyuheng/ty":"^0.1.17","axios":"^0.27.2","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/node":"^18.7.18","@xieyuheng/test-runner":"^0.2.5","npm-run-all":"^4.1.5","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","typescript":"^4.8.3"},"license":"GPL-3.0-or-later","contributors":[{"name":"Xie Yuheng"},{"name":"Zaoqi"}],"gitHead":"3e4dfdf6638301264bf7b8221d223152465f3335","description":"**This is an old implementation of cicada language before we have an active team.**","bugs":{"url":"https://github.com/cicada-lang/cicada-sole/issues"},"homepage":"https://github.com/cicada-lang/cicada-sole#readme","_id":"@cicada-lang/cicada-sole@0.7.10","_nodeVersion":"18.8.0","_npmVersion":"8.18.0","dist":{"integrity":"sha512-6U3TS4HPjj9Jai8mcxktWgCp9Li4lIO599cWUp0DwY4h5/73pzDgl60bIHm8InQm2C2oyWB+/3MxjzWhqQ4W/g==","shasum":"57e061f3b46c9e7ad156d33c043c743f4785adeb","tarball":"https://registry.npmjs.org/@cicada-lang/cicada-sole/-/cicada-sole-0.7.10.tgz","fileCount":548,"unpackedSize":716551,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEQCIHWYBDGLanC+/ABBucnHQTVOgX9/yBjcVLHUft8IfEoDAiBu7sr+ttO8PRZj/oimVmq7agUlKGGBNDprdK9QZ2ZNkg=="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjIwzYACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmqzog/+IHH9G9kb/M2y2RBNm813UnU/KQMqS+4MQWEM8jwQY1Mv+fjz\r\niWQJ7kO+OhIzDiTFqtlaUyN8jtb9JWN1+2sPd3F8HMkD6IDafnW56SE5VtkF\r\nvK814UpFToi/ewZQV+tzRrYaIKJXuJUKJ5k8GIifPKVphkMNxXvBnA3K4W9N\r\nMO8bem/IXnkgqxE5m3xjqtlUN1pB163VACNL6lGXytAjJPd5dHxd3JVrPXgV\r\n9ERP5B90VttewoBsKdNUV29gw3bAVJttNiVsWmLFCzkCSmTIqz0MWrzDNRlD\r\nSx3ObyGV5pzYEtcdCeV+QXWP35hgCoCvfaejlS5VFUliSK0PMy1vCrCYVqhL\r\nUZRGbOMShp+/WZAWqllFu3wdVtQ5CAfyccZ+GjgA3NIeeiBjtb34QYdpNNMq\r\nKhRyvI2j4pH/PwKEhUAjSoQZZFYmfZ+cqqeS4/WdcDB7GZGIeHyWIZMfO/uX\r\n86ccfSIe8Wl3U98sG6ZgHAyNrkd9LaacLnOZA9vv6HtDAooAgghIvdpp0OJN\r\nc3LHCwhMyHf7OwUoBgjEjS2UoaWscDKJMo6rj4jQq0SUAf9gjDYQ6HfgcEso\r\nL+004i2awBk6Wc3F/XcuC6uEd5INUu+/jb8RIALCQAzSkjQxpfS3qi02ebpB\r\nTPZ5Ley6/EWxoeAIpYaAYGwmOJq3OlfvSkE=\r\n=ExKo\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-sole_0.7.10_1663241432698_0.08630201084618916"},"_hasShrinkwrap":false},"0.7.11":{"name":"@cicada-lang/cicada-sole","version":"0.7.11","repository":{"type":"git","url":"git+https://github.com/cicada-lang/cicada-sole.git"},"bin":{"cic-sole":"bin/cic.js"},"scripts":{"build":"tsc","watch":"tsc --watch","format":"prettier src docs --write","test:test-case":"test-runner test 'test-case run' 'lib/**/*.case.js'","test:js":"test-runner test node 'lib/**/*.test.js'","test:snapshot":"test-runner snapshot node 'lib/**/*.snapshot.js' --extern snapshot","test:manual":"test-runner snapshot './bin/cic.js' 'docs/manual/**/*.(cic|md)' --exclude 'docs/manual/**/*.error.(cic|md)'","test:manual-error":"test-runner snapshot-error './bin/cic.js' 'docs/manual/**/*.error.(cic|md)'","test:tests":"test-runner snapshot './bin/cic.js' 'docs/tests/**/*.(cic|md)' --exclude 'docs/tests/**/*.error.(cic|md)'","test:tests-error":"test-runner snapshot-error './bin/cic.js' 'docs/tests/**/*.error.(cic|md)'","test:articles":"test-runner test './bin/cic.js' 'docs/articles/**/*.(cic|md)'","test":"npm-run-all test:*"},"dependencies":{"@cicada-lang/partech":"^0.2.2","@xieyuheng/command-line":"^0.0.7","@xieyuheng/test-case":"^0.0.14","@xieyuheng/ty":"^0.1.17","axios":"^1.1.3","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/node":"^18.11.9","@xieyuheng/test-runner":"^0.2.7","npm-run-all":"^4.1.5","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","typescript":"^4.8.4"},"license":"GPL-3.0-or-later","contributors":[{"name":"Xie Yuheng"},{"name":"Zaoqi"}],"gitHead":"74eaba9c8cf197fb77992915aba9dccdeb77b4e5","description":"**This is an old implementation of cicada language before we have an active team.**","bugs":{"url":"https://github.com/cicada-lang/cicada-sole/issues"},"homepage":"https://github.com/cicada-lang/cicada-sole#readme","_id":"@cicada-lang/cicada-sole@0.7.11","_nodeVersion":"19.0.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-bXFmcLGMpGu2FOcuh1Vu/KOK7LiDY3MaQbe27uautmTD5tUEtaD2pVdK48YbIJ0mOJ5yY3wkTnu47SjHDOxGow==","shasum":"154f3e431b6340f55894ba77270d5fdd0c8b4c79","tarball":"https://registry.npmjs.org/@cicada-lang/cicada-sole/-/cicada-sole-0.7.11.tgz","fileCount":548,"unpackedSize":717886,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIHc2+roxgo2JgSVQbVxbXI6NEzPFkw00tfhaz+4XcD7fAiEApnSY3YXAnweqh85SKKuLfOOORcI/qB8N8jev1d2eFUA="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjY3htACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2VmrI5hAAnXBf2555a8eEXh4vv0hA3vlkOU6VjZBFMcyv9BurZOkclr8m\r\n6mTYGtaP4tlIthrupcZHxEKJEi1HIWhYUp86Yr4qNrgenxGy7sNkDipnV4Aa\r\nR22DivOug2gMaZF3z7rd0/WDXQz5NyExFnB8Iiqlg3AlNIBU7BrQJIGfsnKL\r\nCyuTxws07nMu/0ccb55Qq0hF7FmlEQkYsJ3GS9LjA9lWDq4CLZlZGtKapVIs\r\nbx6ykWctAZlQPInWG+uPxXDln6JfGu3UqK7tMyRTrVOuRNwvzDiYKSZ0FGRO\r\nPMNLzJftkM06X/2dyTQo3UahNrO5dY27DAgeduaFbwOezxmSGWzRgqLq2aoW\r\nl63sZp52wDb3sHJd11AQfTwEqwojugve2FRbZCp7oH5qWJDMw42HHBIF/SQz\r\nz/BX8m309AiA+KkxwqKXNGKHTjLPRWQwhaKMeDxbndUMynUiiIIHrEy/r8sT\r\nnsjMKhIEGPiU4de4hKuotHnXBw0OA0Mm5F/iwYhZA96HRI+maZgcmdX5snKt\r\nwNdBrDoY1A8txURUsbZbHh48w8O6sc6Sl0Qc9IQvW66CCCF0YCuRIL0/7Snh\r\nYgnieMNmVAr8zPHlXkMAJBDw8cIXOWRxRmL2KEVGHCLmb7EUsZZsmPgIEBfV\r\nin8P/nMP+9sknwF30VsqOlXFTrP1zMu3J5s=\r\n=YdKw\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-sole_0.7.11_1667463277671_0.282617089811394"},"_hasShrinkwrap":false},"0.7.12":{"name":"@cicada-lang/cicada-sole","version":"0.7.12","repository":{"type":"git","url":"git+https://github.com/cicada-lang/cicada-sole.git"},"bin":{"cic-solo":"bin/cic.js"},"scripts":{"build":"tsc","watch":"tsc --watch","format":"prettier src docs --write","test:test-case":"test-runner test 'test-case run' 'lib/**/*.case.js'","test:js":"test-runner test node 'lib/**/*.test.js'","test:snapshot":"test-runner snapshot node 'lib/**/*.snapshot.js' --extern snapshot","test:manual":"test-runner snapshot './bin/cic.js' 'docs/manual/**/*.(cic|md)' --exclude 'docs/manual/**/*.error.(cic|md)'","test:manual-error":"test-runner snapshot-error './bin/cic.js' 'docs/manual/**/*.error.(cic|md)'","test:tests":"test-runner snapshot './bin/cic.js' 'docs/tests/**/*.(cic|md)' --exclude 'docs/tests/**/*.error.(cic|md)'","test:tests-error":"test-runner snapshot-error './bin/cic.js' 'docs/tests/**/*.error.(cic|md)'","test:articles":"test-runner test './bin/cic.js' 'docs/articles/**/*.(cic|md)'","test":"npm-run-all test:*"},"dependencies":{"@cicada-lang/partech":"^0.2.2","@xieyuheng/command-line":"^0.0.7","@xieyuheng/test-case":"^0.0.14","@xieyuheng/ty":"^0.1.17","axios":"^1.1.3","commonmark":"^0.30.0","fast-deep-equal":"^3.1.3","node-watch":"^0.7.3","picocolors":"^1.0.0","readdirp":"^3.6.0"},"devDependencies":{"@types/commonmark":"^0.27.5","@types/node":"^18.11.9","@xieyuheng/test-runner":"^0.2.7","npm-run-all":"^4.1.5","prettier":"^2.7.1","prettier-plugin-organize-imports":"^3.1.1","typescript":"^4.8.4"},"license":"GPL-3.0-or-later","contributors":[{"name":"Xie Yuheng"},{"name":"Zaoqi"}],"gitHead":"b7329626bc8cb96941c803ad3476338f2595174c","description":"**This is an old implementation of cicada language before we have an active team.**","bugs":{"url":"https://github.com/cicada-lang/cicada-sole/issues"},"homepage":"https://github.com/cicada-lang/cicada-sole#readme","_id":"@cicada-lang/cicada-sole@0.7.12","_nodeVersion":"19.0.0","_npmVersion":"8.19.2","dist":{"integrity":"sha512-p9Hnl5AvP4g2hZRYryfqlnZ5NmGgI83n5MTK1Ngv6be5vr2AGA1bgc92dM4F9V0UalhIiDalw0BKkLiaTXNtyA==","shasum":"e75ea257e0227695d53c0e2ee3f421d06c3c73f9","tarball":"https://registry.npmjs.org/@cicada-lang/cicada-sole/-/cicada-sole-0.7.12.tgz","fileCount":548,"unpackedSize":717886,"signatures":[{"keyid":"SHA256:jl3bwswu80PjjokCgh0o2w5c2U4LhQAE57gj9cz1kzA","sig":"MEUCIQCO4MzUq8+OPT5AzxkNrnKJIdeoHfvnd5CRVGFUqwMuqQIgPQOr6VnSBqDK9l9jbMyKeJcgEs8LarJTVj+5TR/tly4="}],"npm-signature":"-----BEGIN PGP SIGNATURE-----\r\nVersion: OpenPGP.js v4.10.10\r\nComment: https://openpgpjs.org\r\n\r\nwsFzBAEBCAAGBQJjY4XdACEJED1NWxICdlZqFiEECWMYAoorWMhJKdjhPU1b\r\nEgJ2Vmpy3Q//QL1XsrQtiFv1heoy6I4RdHDTZjBiiqjbsLSmnyLH6mJYs41I\r\nFWnf4kyaNF/IpqyqnwsPxvXPHFB6Jf3KTOj1eyM51n6JKEwiaJy3kLQ1hzJn\r\n66zxUfAHXfNotkUAsrGK/lY6mztoTuwFsCjNVVfNGPWB8XaSYClAhJL+PNK9\r\nO3f8kiFmvYXTg4dnGXORVg4CTPUseqkiqeeMW+swI59jZ2XY8Sqd/xJAasCu\r\nXJ5LslmH+BWH1x4v4mumXrRufuhPyCSVuLkFnVsaSPUMtZeFL2FTsVS1oQM6\r\nSjE7Ctf2YVP3Luz9fxx75fTr3blX2P1xALlaAUaZnZ7mCIONI87q6SIP33fy\r\nbzN4KzBa9zxbZmpVdSkg0oGRDkJs9vV4nvxlxqIhy/LqBOgoSCI5viyLYbCb\r\nCLmJ8EsTCFSkcg5KadgNw3IyLaLLQGSYtcaTbK/dri+wuGLskIRMtLAOOsSi\r\nZw8bjqkNKdIfzzckcmIi7xMTvG2QyYEXi3oc4BRnX9LJARI38ZMCsmeyFEGC\r\nynmQScrXckBgsXrmdcLTQSvLtpVfAIY2e56e6jcfWHAwayLhVzAvHvn3BYS6\r\n1FtY1zc+h67DQHFDmPMd70VHhP3LHve3o7P8HUF3EN+MzF1wWXU31x0k7vZZ\r\nqrjUf64TTCaCo3aHeptBwkIj/r5z6xQpca0=\r\n=ulen\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-sole_0.7.12_1667466716909_0.9933552105500512"},"_hasShrinkwrap":false}},"time":{"created":"2022-09-15T11:30:26.330Z","0.7.9":"2022-09-15T11:30:26.565Z","modified":"2022-11-03T09:11:57.209Z","0.7.10":"2022-09-15T11:30:32.914Z","0.7.11":"2022-11-03T08:14:37.841Z","0.7.12":"2022-11-03T09:11:57.110Z"},"maintainers":[{"name":"xieyuheng","email":"xyheme@gmail.com"}],"description":"**This is an old implementation of cicada language before we have an active team.**","homepage":"https://github.com/cicada-lang/cicada-sole#readme","repository":{"type":"git","url":"git+https://github.com/cicada-lang/cicada-sole.git"},"contributors":[{"name":"Xie Yuheng"},{"name":"Zaoqi"}],"bugs":{"url":"https://github.com/cicada-lang/cicada-sole/issues"},"license":"GPL-3.0-or-later","readme":"# Cicada Language\n\n**This is an old implementation of cicada language before we have an active team.**\n\n**please see [cicada-lang/cicada](https://github.com/cicada-lang/cicada) for new developments.**\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```\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## Thanks\n\nThanks, [PLCT Lab](https://github.com/plctlab), for sponsoring our community at very early stage of our project.\n\nThank you, [Dan Friedman](https://www.cs.indiana.edu/~dfried), for we learned most of our knowledge about programming language design from your little books.\n\nThank you, [David Christiansen](https://davidchristiansen.dk), for coauthoring [\"The Little Typer\"](https://mitpress.mit.edu/9780262536431/the-little-typer) with Dan, and writing up great tutorials ([1](https://davidchristiansen.dk/tutorials/nbe), [2](https://davidchristiansen.dk/tutorials/implementing-types-hs.pdf)) about dependent types.\n\n## Community\n\nGitHub:\n\n- Organization: [github.com/cicada-lang](https://github.com/cicada-lang)\n\nTelegram:\n\n- English chat group: [CicadaLanguage](https://t.me/CicadaLanguage)\n- Chinese chat group: [CicadaLanguageCN](https://t.me/CicadaLanguageCN)\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- When contributing, add yourself to [AUTHORS](AUTHORS)\n\n## License\n\n- [GPLv3](LICENSE)\n","readmeFilename":"README.md"}