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