cicada-solo
cicada-solo copied to clipboard
Cicada Language (solo version)
Cicada Language
Welcome *^-^*/
Cicada language is a dependently typed programming language and an interactive theorem prover.
The aim of cicada project is to help people understand that developing software and developing mathematics are increasingly the same kind of activity, and people who practice these developments can learn from each other, and help each other in very good ways.
Development
pnpm install # Install dependencies
pnpm run build # Compile `src/` to `lib/`
pnpm run watch # Watch the compilation
pnpm run test # Run test
Community
- GitHub: github.com/cicada-lang
- Telegram: CicadaLanguage
- 中文 / Chinese: CicadaLanguageCN
- IRC:
#cicada-lang
at libera.chat
Contributions
Be polite, do not bring negative emotion to others.
- TODO.md
- STYLE-GUIDE.md
- CODE-OF-CONDUCT.md
- When contributing, add yourself to AUTHORS
License
- GPLv3