Description
Categorical programming language where everything - data, functions, lambdas, expressions - are natural transformations
The group is quiet: last message in the index 48 days ago.
Detailed statistics →catalog data as of 07.10.2026 06:09 UTC
Typegroup
ID2029968865
Members62