Lib.rs

› 关键词 #format #convert #lagda #tree #config #build #command-line #interaction

#agda

  1. agda-tree

    用于 *.lagda.tree 格式的构建工具

    v0.2.4 360 #tree #lagda #agda #build #config #format #convert

  2. nar

    Narc，一种具有依赖模式匹配的依赖类型编程语言

    v0.0.8 #pattern-matching #programming-language #dependent #compiler #narc #dependently-typed #agda

  3. agda-mode

    通过命令行访问 Agda 的交互模式，用 Rust 实现

    v0.1.8 #command-line #agda #mode #interaction #accessing #now

  4. agda-tac

    Agda - 策略和可理解的

    v0.1.5 #agda #external #agda-mode #tactic #line #command-line #interaction

    5. 尝试使用 DuckDuckGo 搜索。