curry-howard - 码农岛

该标签暂无描述

If Either can be either Left or Right but not both

三岁会撩人·2021-01-02 07:05· 回答·问答

Can GADTs be used to prove type inequalities in GH

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

Can GADTs be used to prove type inequalities in GH

Ridiculous、·2020-02-25 04:22·2 回答·问答

可以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· 评论·文章

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

Viruses.·2019-05-22 22:35·2 回答·问答

Dependent Types: How is the dependent pair type an

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

Dependent Types: How is the dependent pair type an

我命由我不由天·2019-03-08 09:49·6 回答·问答

What are the most interesting equivalences arising

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

What are the most interesting equivalences arising

爷的心禁止访问·2019-03-07 08:58·10 回答·问答

How or is that possible to prove or falsify `foral

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

How or is that possible to prove or falsify `foral

萌系小妹纸·2019-01-19 00:52·1 回答·问答

Constructing efficient monad instances on `Set` (a

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

Constructing efficient monad instances on `Set` (a

冷血范·2019-01-17 03:27·4 回答·问答

What's the absurd function in Data.Void useful

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

What's the absurd function in Data.Void useful

Emotional °昔·2019-01-12 19:46·6 回答·问答