Folder Path
/
msc
/
08_infodtp
/
reading
/
3-Agda
/
1
directory
5
files
List
Grid
Name
Size
Modified
Up
MAlonzo/
—
11/14/2016 11:07:54 PM +00:00
AgdaBasics.agda
11 KiB
11/14/2016 11:07:54 PM +00:00
Dependently-typed programming in Agda.pdf
281 KiB
11/14/2016 11:07:54 PM +00:00
Dependently-typed programming in Agda_dk.pdf
2.6 MiB
11/14/2016 11:07:54 PM +00:00
lib-0.7.tar.gz
221 KiB
11/14/2016 11:07:54 PM +00:00
OldAgdaBasics.agda
7.4 KiB
11/14/2016 11:07:54 PM +00:00