Agda

来自开放百科 - 灰狐
（版本间的差异）
跳转到： 导航, 搜索
小 (→‎项目)
小 (→‎指南)
第9行： 第9行：
  
 
==指南==
 
==指南==
 +
*[https://agda-zh.github.io/PLFA-zh/ 编程语言基础：Agda 语言描述]
  
 
==项目==
 
==项目==

2021年12月20日 (一) 08:58的版本

Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 Agda Thanks, Wikipedia.
Agda-language-logo.png

Agda programming language

目录

简介

功能

指南

项目

图集

链接

来自“http://wiki.huihoo.com/wiki/?title=Agda&oldid=159510”
分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱