/cicada

蝉语 / Cicada Language

Primary LanguageTypeScriptGNU General Public License v3.0GPL-3.0

蝉语 / Cicada Language

Welcome *^-^*/

Cicada language is a dependently typed programming language and 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 practices these developments, can learn from each other, and help each other in very good ways.

Install

npm i -g @cicada-lang/cicada

Usage

Web Services

The cicada-lang.org website provides many web services, to help authors organize their projects and share with others.

Command Line Interface

After installed the @cicada-lang/cicada package, you can run cic help to see help messages.

Development

npm install    // Install dependences
npm run build  // Compile `src/` to `lib/`
npm run watch  // Watch the compilation
npm run test   // Run test

Community

Contributions

Be polite, do not bring negative emotion to others.

License