curry-howard相关文章列表-curry-howard - 码农岛

该标签暂无描述

Can GADTs be used to prove type inequalities in GH

女痞·2020-02-25 04:43· 评论·文章

可以GADTs被用来证明GHC型的不平等？(Can GADTs be used to prove t

狗以群分·2019-07-18 02:33· 评论·文章

是什么在Data.Void荒谬功能有用吗？(What's the absurd functi

男人必须洒脱·2019-07-17 18:47· 评论·文章

使用延续单子上`Set`（与约束其他容器）构造有效单子实例(Constructing efficie

混吃等死·2019-06-27 13:42· 评论·文章

De Morgan's Laws in Haskell via the Curry-Howa

一夜七次·2019-05-22 23:08· 评论·文章

Dependent Types: How is the dependent pair type an

够拽才男人·2019-03-08 09:38· 评论·文章

What are the most interesting equivalences arising

别忘想泡老子·2019-03-07 09:57· 评论·文章

How or is that possible to prove or falsify `foral

男人必须洒脱·2019-01-19 00:30· 评论·文章

Constructing efficient monad instances on `Set` (a

我欲成王，谁敢阻挡·2019-01-17 03:05· 评论·文章

What's the absurd function in Data.Void useful

女痞·2019-01-12 20:13· 评论·文章