idris - 码农岛

该标签暂无描述

idris-mode – Buffer has no process

ら.Afraid·2021-01-31 10:32· 回答·问答

Impossible patterns in Idris

在下西门庆·2021-01-24 01:59· 回答·问答

implementation of BigDecimal in idris

叼着烟拽天下·2021-01-22 14:04· 回答·问答

Generating run time proofs with type predicates in

兄弟一词,经得起流年.·2020-08-30 12:01· 回答·问答

(xs : Vect n elem) -> Vect (n * 2) elem

叛逆·2020-06-23 06:12·1 回答·问答

(xs : Vect n elem) -> Vect (n * 2) elem

爷、活的狠高调·2020-06-23 06:36· 评论·文章

I can't prove (n - 0) = n with Idris

兄弟一词,经得起流年.·2020-06-08 06:41·4 回答·问答

I can't prove (n - 0) = n with Idris

傲·2020-06-08 06:27· 评论·文章

How can I express range validity in Idris?

We Are One·2020-04-14 15:58·1 回答·问答

How can I express range validity in Idris?

迷人小祖宗·2020-04-14 16:05· 评论·文章

Prove map id = id in idris?

\"骚年 ilove·2020-04-02 17:56·1 回答·问答

Prove map id = id in idris?

乱世女痞·2020-04-02 17:33· 评论·文章

Implementing vector addition in Coq

放荡不羁爱自由·2020-03-24 05:51· 评论·文章

Implementing vector addition in Coq

太酷不给撩·2020-03-24 06:13·1 回答·问答

In Idris, how do I hide something defined in Prelu

贼婆χ·2020-03-14 02:28· 评论·文章

In Idris, how do I hide something defined in Prelu

【Aperson】·2020-03-14 02:45·1 回答·问答

Difference between type parameters and indices?

相关推荐>>·2020-01-25 06:31· 评论·文章

Difference between type parameters and indices?

何必那么认真·2020-01-25 06:31·2 回答·问答

Simple dependently typed Temperature converter in

聊天终结者·2019-09-10 06:20· 评论·文章

Simple dependently typed Temperature converter in

时光不老，我们不散·2019-09-10 06:06·1 回答·问答

1 2 3 4 5 6 7 8 下一页