Skip to content

Commit 74604c3

Browse files
e-mniange-mniang
committed
Cleaning the drafts
1 parent f20c9d5 commit 74604c3

File tree

3 files changed

+0
-245
lines changed

3 files changed

+0
-245
lines changed

‎src/takeListdraft.agda

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

‎src/takeVecdraft.agda

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

‎src/vecPadRightDraft.agda

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

0 commit comments

Comments
 (0)