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 | 1775 reads
|
Browse archives
Active forum topics
|
Recent comments
9 weeks 5 days ago
14 weeks 11 hours ago
15 weeks 4 days ago
15 weeks 4 days ago
18 weeks 2 days ago
22 weeks 6 days ago
22 weeks 6 days ago
23 weeks 2 days ago
23 weeks 2 days ago
26 weeks 1 day ago