Index of /~daria/ZPF/2019/Lab19/Lab1Idris
Name
Last modified
Size
Description
Parent Directory
-
Tasks.txt
2019-03-04 18:10
1.6K
Printf.idr
2019-03-04 18:10
1.0K
how-to-install-Idris.txt
2020-03-09 20:43
34
how-to-run-Idris-on-students.txt
2019-03-04 18:10
24
Apache Server at mimuw.edu.pl Port 443