Index of /~daria/ZPF/2020/Lab20/Lab1Idris

	Name	Last modified	Size	Description
	Parent Directory		-
	Printf.idr	2020-03-09 20:45	1.0K
	Tasks.txt	2020-03-09 20:45	1.6K
	how-to-install-Idris.txt	2020-03-09 20:45	34
	how-to-run-Idris-on-students.txt	2020-03-09 20:45	24