s
/
agdaplayground
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Playground for Agda stuff
1 Commit 1 Branch 0 Tags 22 KiB
Agda 100%
Go to file
Aly 61f84701f6 Initial commit 2020-10-21 16:54:19 -07:00
Playground Initial commit 2020-10-21 16:54:19 -07:00
.gitignore Initial commit 2020-10-21 16:54:19 -07:00