Sign in Sign up
npm

@xieyuheng/cicada

A nascent programming language as formal deduction system for the foundations of mathematics.

npm View on Npm

Activity

Latest release
5y ago
Total releases
17
Cadence
~daily
Last 12 months
0

Details

License
unknown
First release
Oct 04, 2020
Releases
Version Released
0.0.17 patch
0.0.16 patch
0.0.15 patch
0.0.14 patch
0.0.13 patch
0.0.12 patch
0.0.11 patch
0.0.10 patch
0.0.9 patch
0.0.8 patch
0.0.7 patch
0.0.6 patch
0.0.5 patch
0.0.4 patch
0.0.3 patch
0.0.2 patch
0.0.1 initial