Skip to content

Commit 3f333b6

Browse files
effectfullyeffectfully
committed
Adapted to Agda 2.5.3 and restructured
1 parent 8a84f6a commit 3f333b6

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

44 files changed

+10
-14
lines changed

‎Lib/Data/Sum.agda‎

Lines changed: 0 additions & 3 deletions
This file was deleted.

‎generic.agda-lib‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
11
name: generic
22
depend: standard-library
3-
include: .
3+
include: src

Core.agda renamed to src/Generic/Core.agda

File renamed without changes.

Examples/Data.agda renamed to src/Generic/Examples/Data.agda

File renamed without changes.

Examples/Data/Fin.agda renamed to src/Generic/Examples/Data/Fin.agda

File renamed without changes.

Examples/Data/Lift.agda renamed to src/Generic/Examples/Data/Lift.agda

File renamed without changes.

Examples/Data/List.agda renamed to src/Generic/Examples/Data/List.agda

File renamed without changes.

Examples/Data/Maybe.agda renamed to src/Generic/Examples/Data/Maybe.agda

File renamed without changes.

Examples/Data/Product.agda renamed to src/Generic/Examples/Data/Product.agda

File renamed without changes.

Examples/Data/Vec.agda renamed to src/Generic/Examples/Data/Vec.agda

File renamed without changes.

0 commit comments

Comments
 (0)