idris相关文章列表-idris - 码农岛

该标签暂无描述

(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:27· 评论·文章

How can I express range validity in Idris?

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

Prove map id = id in idris?

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

Implementing vector addition in Coq

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

In Idris, how do I hide something defined in Prelu

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

Difference between type parameters and indices?

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

Simple dependently typed Temperature converter in

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

Define Equality of Lists Function

闹够了就滚·2019-09-02 03:58· 评论·文章

How to prove that a string is in hexadecimal forma

祖国的老花朵·2019-08-30 13:00· 评论·文章

Control.ST pure type

再贱就再见·2019-08-28 15:51· 评论·文章

How to put things with different type into a list,

相关推荐>>·2019-08-20 06:44· 评论·文章

Idris in atom editor, “Couldn't find Idris exe

乱世女痞·2019-08-18 09:20· 评论·文章

How can I describe this property of divisibility i

做个烂人·2019-08-09 18:24· 评论·文章

从哪里开始依赖型编程？ [关闭](Where to start with dependent t

太酷不给撩·2019-08-03 01:01· 评论·文章

Determine if Sum of Vect n Nat's Evenly Divide

够拽才男人·2019-07-27 16:08· 评论·文章

Trying to bring implicit argument into scope on th

神经病院院长·2019-07-23 15:31· 评论·文章

Idris - map function on custom dependent data type

放荡不羁爱自由·2019-07-21 22:20· 评论·文章

Surprising failure of unification in Idris

闹够了就滚·2019-07-21 12:22· 评论·文章

How to define a pair type in Idris that only holds

叛逆·2019-07-18 09:25· 评论·文章

1 2 3 4 下一页