Giters
Agda 中文文档 (Agda-zh)

Agda 中文文档

Agda-zh

Geek Repo

Agda 中文文档翻译

Home Page:https://agda-zh.rtfd.io/

Github PK Tool:Github PK Tool

Agda 中文文档's repositories

PLFA-zh

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

Language:HaskellLicense:CC-BY-4.0Stargazers:204Issues:9Issues:46

agda

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

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:4Issues:2

cubical

Language:AgdaLicense:MITStargazers:0Issues:3Issues:0

gentle-intro-to-reflection

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

Language:AgdaStargazers:0Issues:0Issues:0

HoTT-Agda

Development of homotopy type theory in Agda

Language:AgdaLicense:MITStargazers:0Issues:4Issues:0