Folder Path
/
msc
/
thesis
/
agda-practice
/
elte-tutorial
/
Sets
/
0
directories
8
files
9.5 KiB
total
List
Grid
Name
Size
Modified
Up
.Enumerated.agda.vim
263 B
11/14/2016 11:07:37 PM +00:00
Enumerated.agda
269 B
11/14/2016 11:07:37 PM +00:00
Indexed.agda
971 B
11/14/2016 11:07:37 PM +00:00
Mutual.agda
548 B
11/14/2016 11:07:37 PM +00:00
Parameters_vs_Indices.agda
1.7 KiB
11/14/2016 11:07:37 PM +00:00
Parametric.agda
2.1 KiB
11/14/2016 11:07:37 PM +00:00
Propositions.agda
2.3 KiB
11/14/2016 11:07:37 PM +00:00
Recursive.agda
1.5 KiB
11/14/2016 11:07:37 PM +00:00