Skip to content
@Agda-zh

Agda 中文文档

Agda 中文文档翻译

Popular repositories Loading

  1. PLFA-zh PLFA-zh Public

    《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

    Haskell 209 22

  2. agda agda Public

    Forked from agda/agda

    用作文档目的，翻译方式见 Issue #2

    Haskell 1

  3. HoTT-Agda HoTT-Agda Public

    Forked from HoTT/HoTT-Agda

    Development of homotopy type theory in Agda

    Agda

  4. cubical cubical Public

    Forked from agda/cubical

    Agda

  5. gentle-intro-to-reflection gentle-intro-to-reflection Public

    Forked from alhassy/gentle-intro-to-reflection

    A slow-paced introduction to reflection in Agda. ---Tactics!

    Agda

Repositories

Showing 5 of 5 repositories
  • PLFA-zh Public

    《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

    Agda-zh/PLFA-zh’s past year of commit activity
    Haskell 209 CC-BY-4.0 22 26 0 Updated Dec 23, 2024
  • gentle-intro-to-reflection Public Forked from alhassy/gentle-intro-to-reflection

    A slow-paced introduction to reflection in Agda. ---Tactics!

    Agda-zh/gentle-intro-to-reflection’s past year of commit activity
    Agda 0 9 0 0 Updated May 25, 2022
  • agda Public Forked from agda/agda

    用作文档目的，翻译方式见 Issue #2

    Agda-zh/agda’s past year of commit activity
    Haskell 1 368 2 0 Updated Oct 14, 2020
  • cubical Public Forked from agda/cubical
    Agda-zh/cubical’s past year of commit activity
    Agda 0 MIT 142 0 0 Updated Nov 29, 2019
  • HoTT-Agda Public Forked from HoTT/HoTT-Agda

    Development of homotopy type theory in Agda

    Agda-zh/HoTT-Agda’s past year of commit activity
    Agda 0 MIT 60 0 0 Updated Nov 10, 2018

Top languages

Loading…

Most used topics

Loading…