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