[TYPES] A new dependently typed language: Cicada Language

[xieyuheng]

Link to the project homepage:

  https://urldefense.com/v3/__https://cicada-lang.org__;!!IBzWLUs!WUz_8y3AyuLRoPc06TbMyn8QDs93jw-zb-Sts9CBUuCliEeQPo0pF-B9s2ib2alHcPmj_OxbISzi-C5krFc5GD3IWA$ 

Link to the manual of the language:

  https://urldefense.com/v3/__https://readonly.link/manuals/cicada-lang/cicada__;!!IBzWLUs!WUz_8y3AyuLRoPc06TbMyn8QDs93jw-zb-Sts9CBUuCliEeQPo0pF-B9s2ib2alHcPmj_OxbISzi-C5krFdhERIIpg$ 


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.