文件名称：dt-programming-in-agda:Ulf Norell 和 James Chapman 的“Agda 中的依赖类型编程”练习的答案
文件大小：15KB
文件格式：ZIP
更新时间：2024-07-26 16:09:06
Agda
dt-programming-in-agda 来自 Ulf Norell 和 James Chapman 的“ ”的练习。 和很多帮助。
【文件预览】：
dt-programming-in-agda-master
----Logic()
--------Id.agda(716B)
--------Base.agda(116B)
----Universes.agda(10KB)
----Views.agda(4KB)
----AgdaBasics.agda(10KB)
----README.md(365B)
----HelloWorld.agda(300B)
----Data()
--------Integer.agda(303B)
--------Vec.agda(1KB)
--------Fin.agda(155B)
--------Nat.agda(450B)
--------Unit.agda(95B)
--------Either.agda(391B)
--------Maybe.agda(539B)
--------Dictionary.agda(1KB)
--------String.agda(741B)
--------Function.agda(241B)
--------Pair.agda(203B)
--------List.agda(987B)
--------Bool.agda(951B)