|
|
| Kyle McKean · 技术社区 · dependent-type agda · 7 年前 |
|
| Cactus · 技术社区 · agda standard-library list · 7 年前 |
|
| luochen1990 · 技术社区 · idris dependent-type agda coq · 7 年前 |
|
| M Farkas-Dyck · 技术社区 · agda · 7 年前 |
|
| Adi Ostrov · 技术社区 · agda functional-programming io · 7 年前 |
|
| user2667523 · 技术社区 · agda standard-library abstract · 8 年前 |
|
| Aadit M Shah · 技术社区 · homotopy-type-theory type-theory dependent-type agda functional-programming · 9 年前 |
|
