Index of /zapiski/ISRM-PPJ-2020/ISRM-PPJ-2020-05-27

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ISRM-PPJ-2020-05-27 Monade.pdf2020-05-27 11:01 6.4M 
[   ]15-monade.pdf2020-05-27 11:01 69K 
[TXT]15-monade.md2020-05-27 11:01 3.4K 
[TXT]state.hs2020-05-27 11:01 1.2K 
[TXT]izjeme.hs2020-05-27 11:01 1.1K 
[   ]stevec.ml2020-05-27 11:01 366  
[TXT]nondeterminism.hs2020-05-27 11:01 126  

Apache/2.4.57 (Debian) Server at www.andrej.com Port 443