|
|
| lodo · 技术社区 · idris dependent-type · 7 年前 |
|
| Rastislav Kassak · 技术社区 · idris dependent-type · 8 年前 |
|
| maiermic · 技术社区 · idris dependent-type · 9 年前 |
|
| Aadit M Shah · 技术社区 · homotopy-type-theory type-theory dependent-type agda functional-programming · 9 年前 |
|
| J. Abrahamson · 技术社区 · singleton-type data-kinds dependent-type haskell · 9 年前 |
|