蝉语 / 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

Command Line Interface

Default command:
  [file]  Open REPL or run a file

Commands:
  run [file]       Run a file -- support .md and .cic
  repl [dir]       Run interactive REPL
  check [library]  Check a library -- by cwd, dir or library.json
  snapshot [file]  Snapshot a file -- write to <file>.out
  help [name]      Display help for a command

Development

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

Libraries

Community

GitHub Organization: github.com/cicada-lang
IRC channel: #cicada-lang at libera.chat
Telegram group: CicadaLanguage

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

archive-tsao-chi-forks/cicada