[TYPES] A new dependently typed language: Cicada Language

xieyuheng <[email protected]> Fri, 27 May 2022 15:21:33 +0800

Newsgroups	gmane.comp.science.types
Message-ID	<CANK0TDT4_fN+XM9E-WTme-4Hn94hu7CA44xz=4aDpb1NmAVcgA@mail.gmail.com>

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

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.