Folder Path
/
msc
/
thesis
/
agda-practice
/
elte-tutorial
/
Syntax
/
0
directories
2
files
284 B
total
List
Grid
Name
Size
Modified
Up
Decimal_Naturals.agda
90 B
11/14/2016 11:07:37 PM +00:00
Infix.agda
194 B
11/14/2016 11:07:37 PM +00:00