Index of /~daria/ZPF/2016/Lab/Lab6

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]vectElem.idr2016-06-06 22:20 1.2K 
[   ]plus_theorem.idr2016-06-06 22:20 508  
[   ]parity.idr2016-06-06 22:20 854  
[   ]interp-tutorial.idr2016-06-06 22:22 2.2K 
[   ]imp.idr2016-06-06 22:33 1.8K 
[   ]hello.idr2016-06-06 22:20 57  
[   ]binary.idr2016-06-06 22:20 1.3K 
[   ]basic2.idr2016-06-06 22:20 328  
[   ]adder.idr2016-06-06 22:20 287  
[   ]Parity.v2016-06-07 06:29 1.4K 
[   ]Interp.v2016-06-07 06:29 3.9K 
[TXT]Idris-na-lab.txt2016-06-07 07:34 272  

Apache Server at mimuw.edu.pl Port 443