|
|
| Bob · 技术社区 · free-monad category-theory monads haskell scala · 2 年前 |
|
| Bob · 技术社区 · free-monad category-theory agda monads haskell · 2 年前 |
|
| Bob · 技术社区 · coq-tactic theorem-proving dependent-type equality coq · 5 年前 |
|
| Bob · 技术社区 · church-encoding coq haskell · 5 年前 |
|
| Bob · 技术社区 · typed-lambda-calculus lambda-calculus coq functional-programming recursion · 6 年前 |
|
1