User loginNavigation |
Cicada language -- a new dependently typed languageCicada language is a 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 practices these developments, can learn from each other, and help each other in very good ways. Homepage at: cicada-lang.org By xieyuheng at 2021-12-21 20:14 | LtU Forum | previous forum topic | next forum topic | other blogs | 1921 reads
|
Browse archives
Active forum topics |
Recent comments
21 weeks 6 days ago
21 weeks 6 days ago
21 weeks 6 days ago
44 weeks 23 hours ago
48 weeks 2 days ago
50 weeks 2 hours ago
50 weeks 2 hours ago
1 year 3 days ago
1 year 5 weeks ago
1 year 5 weeks ago