@cicada-lang/cicada-next v0.2.3

Cicada Language

[ HOMEPAGE | MANUAL | ABOUT ]

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

npm install     # Install dependencies
npm run build   # Compile `src/` to `lib/`
npm run watch   # Watch the compilation
npm run format  # Format the code
npm 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
• Remember to run npm run format to format the code.
• Remember to add yourself to AUTHORS.

License

• GPLv3