Index of /akaposi/agda

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Exam1.agda2019-05-27 10:35 3.9K 
[   ]gy2.agda2019-02-19 19:19 2.1K 
[   ]gy3.agda2019-02-26 19:22 1.7K 
[   ]gy4.agda2019-03-05 19:19 1.4K 
[   ]gy5.agda2019-03-12 19:22 2.8K 
[   ]gy6.agda2019-03-19 19:24 4.7K 
[   ]gy13.agda2019-05-14 19:23 2.8K