Login
Create new posts
At least 10 characters
ChineseEnglishJapaneseRussian
Register
Agda 是一门函数式编程语言。它以依赖类型而闻名。