idris - 码农岛

该标签暂无描述

What are cumulative universes and `* : *`?

女痞·2019-04-07 21:31· 评论·文章

How to extract the second element of Sigma on the

闹够了就滚·2019-04-06 13:52· 回答·问答

How to extract the second element of Sigma on the

仙女界的扛把子·2019-04-06 14:19· 评论·文章

Is there a nice way to use `->` directly as a func

Lonely孤独者°·2019-04-05 15:14·2 回答·问答

Is there a nice way to use `->` directly as a func

神经病院院长·2019-04-05 15:13· 评论·文章

What is the preferred alternative to Fin from Idri

相关推荐>>·2019-04-05 03:29·2 回答·问答

What is the preferred alternative to Fin from Idri

三岁会撩人·2019-04-05 03:29· 评论·文章

Haskell version of Idris !-notation (bang notation

SAY GOODBYE·2019-04-05 03:04·3 回答·问答

Haskell version of Idris !-notation (bang notation

在下西门庆·2019-04-05 02:43· 评论·文章

What's a good way to represent free groups?

狗以群分·2019-03-30 10:37· 评论·文章

What's a good way to represent free groups?

手持菜刀，她持情操·2019-03-30 10:24·1 回答·问答

Proof assistant for mathematics only

乱世女痞·2019-03-20 17:39· 评论·文章

Proof assistant for mathematics only

在下西门庆·2019-03-20 17:06·1 回答·问答

How can I establish a bijection between a tree and

狗以群分·2019-03-18 19:36· 评论·文章

How can I establish a bijection between a tree and

干净又极端·2019-03-18 20:01·3 回答·问答

How do I prove a “seemingly obvious” fact when rel

我欲成王，谁敢阻挡·2019-03-15 09:37· 评论·文章

How do I prove a “seemingly obvious” fact when rel

在下西门庆·2019-03-15 09:58·1 回答·问答

Difference between Haskell and Idris: Reflection o

女痞·2019-03-11 17:32· 评论·文章

Difference between Haskell and Idris: Reflection o

三岁会撩人·2019-03-11 17:01·2 回答·问答

Converting Coq to Idris

贼婆χ·2019-03-11 05:20· 评论·文章

上一页 1 2 3 4 5 6 7 8 下一页