Log inSign up
user avatar
Cation Language
@CationLang
Modern functional language made with category theory. Formal verification, termination analysis, parallelism.
Lugano, Switzerland
cation-lang.org
Joined September 2024
14
Following
9
Followers
RepliesMedia