Generic
所属分类：工具库
开发工具：Agda
文件大小：0KB
下载次数：0
上传日期：2021-01-27 21:41:04
上 传 者：
sh-1993
说明： 在Agda中执行泛型编程的库，
(A library for doing generic programming in Agda,)
文件列表:
LICENSE (1068, 2021-01-27)
generic.agda-lib (60, 2021-01-27)
src/ (0, 2021-01-27)
src/Generic/ (0, 2021-01-27)
src/Generic/Core.agda (4910, 2021-01-27)
src/Generic/Function/ (0, 2021-01-27)
src/Generic/Function/Elim.agda (5215, 2021-01-27)
src/Generic/Function/FoldMono.agda (3419, 2021-01-27)
src/Generic/Lib/ (0, 2021-01-27)
src/Generic/Lib/Category.agda (431, 2021-01-27)
src/Generic/Lib/Data/ (0, 2021-01-27)
src/Generic/Lib/Data/List.agda (4114, 2021-01-27)
src/Generic/Lib/Data/Maybe.agda (633, 2021-01-27)
src/Generic/Lib/Data/Nat.agda (337, 2021-01-27)
src/Generic/Lib/Data/Pow.agda (1166, 2021-01-27)
src/Generic/Lib/Data/Product.agda (1618, 2021-01-27)
src/Generic/Lib/Data/Sets.agda (905, 2021-01-27)
src/Generic/Lib/Data/String.agda (266, 2021-01-27)
src/Generic/Lib/Data/Sum.agda (150, 2021-01-27)
src/Generic/Lib/Decidable.agda (6087, 2021-01-27)
src/Generic/Lib/Equality/ (0, 2021-01-27)
src/Generic/Lib/Equality/Coerce.agda (1172, 2021-01-27)
src/Generic/Lib/Equality/Congn.agda (1060, 2021-01-27)
src/Generic/Lib/Equality/Heteroindexed.agda (663, 2021-01-27)
src/Generic/Lib/Equality/Propositional.agda (1476, 2021-01-27)
src/Generic/Lib/Intro.agda (565, 2021-01-27)
src/Generic/Lib/Prelude.agda (952, 2021-01-27)
src/Generic/Lib/Reflection/ (0, 2021-01-27)
src/Generic/Lib/Reflection/Core.agda (18278, 2021-01-27)
src/Generic/Lib/Reflection/Fold.agda (2561, 2021-01-27)
src/Generic/Main.agda (262, 2021-01-27)
src/Generic/Property/ (0, 2021-01-27)
src/Generic/Property/Eq.agda (2882, 2021-01-27)
src/Generic/Property/Reify.agda (4217, 2021-01-27)
src/Generic/Reflection/ (0, 2021-01-27)
src/Generic/Reflection/DeriveEq.agda (3774, 2021-01-27)
src/Generic/Reflection/ReadData.agda (3045, 2021-01-27)
src/Generic/Test.agda (215, 2021-01-27)
src/Generic/Test/ (0, 2021-01-27)
... ...
近期下载者：
相关文件：
收藏者：