代码之家 › 专栏 › 技术社区 › MaiaVictor

用什么方法来表示术语的beta等式类型?

agda

0

MaiaVictor · 技术社区 · 6 年前

内容过于久远，请刷新稍后重试

0 回复 | 直到 6 年前

1

2

András Kovács 6 年前

推荐文章

Kyle McKean · 带表达式非求值

7 年前

ice1000 · 当Agda/Idris无法做到时,Coq可以做什么?

7 年前

Cactus · 构建数据。列表全部来自另一个数据。列表全部的

7 年前

ice1000 · Agda的“重写”失败,出现一个提到变量“w”的错误

7 年前

luochen1990 · 如何在Idris/Agda/Coq中模式匹配多个值?

7 年前

M Farkas-Dyck · 如何消除冲突构造函数名称的歧义

7 年前

Adi Ostrov · Agda:无法执行IO-数据丢失。海外金融机构,IO。外国金融机构

8 年前

user2667523 · Agda标准库-为什么更多属性没有标记为抽象?

9 年前

Aadit M Shah · 如何使用Agda中N的归纳原理证明N的递归器的定义方程命题成立?

9 年前

m0davis · 从论点的顺序解释这种奇怪的影响(如果可能的话,提供一个解决方法)

10 年前

关于移动版

代码之家 - 一站式码农服务社区

沪ICP备11025650号