[ 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.
