/msc/08_infodtp/reading/3-Agda/

1 directory 5 files
Name Size Modified
MAlonzo
AgdaBasics.agda 11 KiB
Dependently-typed programming in Agda.pdf 281 KiB
Dependently-typed programming in Agda_dk.pdf 2.6 MiB
lib-0.7.tar.gz 221 KiB
OldAgdaBasics.agda 7.4 KiB