阿格达 : 一种依赖类型的函数式编程语言和证明助手
模块
阿格达 自动 阿格达。 标杆管理 编译器 阿格达。 不可能测试 互动 阿格达。 主要 语法 终止 阿格达。 类型检查器 类型检查 阿格达。 类型检查。 摘要 阿格达。 类型检查。 检查内部 阿格达。 类型检查。 编译条款 阿格达。 类型检查。 约束条件 阿格达。 类型检查。 转换 阿格达。 类型检查。 覆盖范围 阿格达。 类型检查。 数据类型 阿格达。 类型检查。 死亡代码 阿格达。 类型检查。 显示窗体 阿格达。 类型检查。 DropArgs公司 阿格达。 类型检查。 清空 阿格达。 类型检查。 错误 阿格达。 类型检查。 Eta合同 阿格达。 类型检查。 强制 阿格达。 类型检查。 免费 阿格达。 类型检查。 功能 阿格达。 类型检查。 泛化 阿格达。 类型检查。 I应用汇流 阿格达。 类型检查。 隐性的 阿格达。 类型检查。 注入性 阿格达。 类型检查。 内联 阿格达。 类型检查。 实例参数 阿格达。 类型检查。 无关 阿格达。 类型检查。 水平 阿格达。 类型检查。 水平约束 阿格达。 类型检查。 锁定 阿格达。 类型检查。 元变量 阿格达。 类型检查。 模式 阿格达。 类型检查。 莫纳德 阿格达。 类型检查。 莫纳德。 底座 阿格达。 类型检查。 莫纳德。 基准 阿格达。 类型检查。 莫纳德。 建筑 阿格达。 类型检查。 莫纳德。 缓存 阿格达。 类型检查。 莫纳德。 关闭 阿格达。 类型检查。 莫纳德。 约束条件 阿格达。 类型检查。 莫纳德。 上下文 阿格达。 类型检查。 莫纳德。 调试 阿格达。 类型检查。 莫纳德。 环境 阿格达。 类型检查。 莫纳德。 进口 阿格达。 类型检查。 莫纳德。 元变量 阿格达。 类型检查。 莫纳德。 模式 阿格达。 类型检查。 莫纳德。 相互的 阿格达。 类型检查。 莫纳德。 正常开放 阿格达。 类型检查。 莫纳德。 选项 阿格达。 类型检查。 莫纳德。 纯净 阿格达。 类型检查。 莫纳德。 签名 阿格达。 类型检查。 莫纳德。 大小类型 阿格达。 类型检查。 莫纳德。 州 阿格达。 类型检查。 莫纳德。 统计 阿格达。 类型检查。 莫纳德。 跟踪
阿格达。 类型检查。 姓名 阿格达。 类型检查。 不透明度 模式 阿格达。 类型检查。 极性 阿格达。 类型检查。 积极性 阿格达。 类型检查。 很漂亮 阿格达。 类型检查。 基本体 阿格达。 类型检查。 类似投影 阿格达。 类型检查。 报价 阿格达。 类型检查。 重建参数 阿格达。 类型检查。 记录模式 阿格达。 类型检查。 记录 阿格达。 类型检查。 减少 阿格达。 类型检查。 正在重写 规则 阿格达。 类型检查。 序列化 阿格达。 类型检查。 大小类型 阿格达。 类型检查。 排序 阿格达。 类型检查。 替代 阿格达。 类型检查。 句法平等 阿格达。 类型检查。 望远镜 阿格达。 类型检查。 取消引用 阿格达。 类型检查。 警告 阿格达。 类型检查。 使用
实用程序 阿格达。 实用程序。 仿射孔 阿格达。 实用程序。 适用 阿格达。 实用程序。 关联列表 阿格达。 实用程序。 袋子 阿格达。 实用程序。 基准 阿格达。 实用程序。 BiMap地图 阿格达。 实用程序。 BoolSet（布尔集） 阿格达。 实用程序。 布尔值 阿格达。 实用程序。 调用堆栈 阿格达。 实用程序。 烧焦 阿格达。 实用程序。 集群 阿格达。 实用程序。 要么 阿格达。 实用程序。 清空 阿格达。 实用程序。 环境 阿格达。 实用程序。 失败 阿格达。 实用程序。 收藏夹 阿格达。 实用程序。 文件名 阿格达。 实用程序。 浮子 阿格达。 实用程序。 功能 阿格达。 实用程序。 Functor（仿真器） 图表 阿格达。 实用程序。 搞砸 阿格达。 实用程序。 散列表 哈斯克尔 阿格达。 实用程序。 IO（输入输出） 阿格达。 实用程序。 IORef（IORef） 阿格达。 实用程序。 不可能的 阿格达。 实用程序。 索引列表 IntSet（IntSet） 阿格达。 实用程序。 透镜 阿格达。 实用程序。 列表 阿格达。 实用程序。 列表1 阿格达。 实用程序。 列表2 阿格达。 实用程序。 列表T 阿格达。 实用程序。 地图 阿格达。 实用程序。 也许 吧 阿格达。 实用程序。 备忘录 阿格达。 实用程序。 莫纳德 阿格达。 实用程序。 单体 阿格达。 实用程序。 无效的 阿格达。 实用程序。 聚甲醛 分析器 阿格达。 实用程序。 部分订单 阿格达。 实用程序。 置换 阿格达。 实用程序。 指针 阿格达。 实用程序。 配置文件选项 阿格达。 实用程序。 RangeMap（范围地图） 阿格达。 实用程序。 半环 阿格达。 实用程序。 半群 阿格达。 实用程序。 辛格尔顿 阿格达。 实用程序。 大小 阿格达。 实用程序。 小型集合 阿格达。 实用程序。 字符串 阿格达。 实用程序。 后缀 阿格达。 实用程序。 三个 阿格达。 实用程序。 时间 阿格达。 实用程序。 尝试 阿格达。 实用程序。 薄纱 阿格达。 实用程序。 类型级别 阿格达。 实用程序。 TypeLits类型 阿格达。 实用程序。 更新 阿格达。 实用程序。 变量集 阿格达。 实用程序。 沃舍尔 阿格达。 实用程序。 有默认值 阿格达。 实用程序。 拉链
阿格达。 版本 阿格达。 版本提交
旗帜
手动标记
下载
Agda-2.6.4.3.tar.gz公司 [ 浏览 ]（Cabal源包） 程序包描述 ( 修订过的 从包中）
|
|
|
|
|
|
Agda-2.6.4.3自述文件
阿格达2
文档
用户手册 （每份提交pdf可从 github操作 第页） CHANGELOG公司