Cicada Language

This is an old implementation of cicada language before we have an active team.

please see cicada-lang/cicada for new developments.

[ 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

Thanks

Thanks, PLCT Lab, for sponsoring our community at very early stage of our project.

Thank you, Dan Friedman, for we learned most of our knowledge about programming language design from your little books.

Thank you, David Christiansen, for coauthoring "The Little Typer" with Dan, and writing up great tutorials (1, 2) about dependent types.

Community

GitHub:

• Organization: github.com/cicada-lang

Telegram:

• English chat group: CicadaLanguage
• Chinese chat group: CicadaLanguageCN

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