Folder Path
/
msc
/
thesis
/
agda-practice
/
elte-tutorial
/
Functions
/
0
directories
7
files
9.2 KiB
total
List
Grid
Name
Size
Modified
Up
Cases.agda
1.0 KiB
11/14/2016 11:07:37 PM +00:00
Dependent.agda
1.6 KiB
11/14/2016 11:07:37 PM +00:00
Functions_vs_Sets.agda
239 B
11/14/2016 11:07:37 PM +00:00
Large.agda
1.1 KiB
11/14/2016 11:07:37 PM +00:00
Polymorphic.agda
2.5 KiB
11/14/2016 11:07:37 PM +00:00
Recursive.agda
1.8 KiB
11/14/2016 11:07:37 PM +00:00
Universal_Quantification.agda
950 B
11/14/2016 11:07:37 PM +00:00