Folder Path
/
msc
/
thesis
/
agda-practice
/
elte-tutorial
/
3
directories
2
files
716 B
total
List
Grid
Name
Size
Modified
Up
Functions/
—
11/14/2016 11:07:37 PM +00:00
Sets/
—
11/14/2016 11:07:37 PM +00:00
Syntax/
—
11/14/2016 11:07:37 PM +00:00
Constants.agda
231 B
11/14/2016 11:07:37 PM +00:00
Term_Inference.agda
485 B
11/14/2016 11:07:37 PM +00:00