Index of /~daria/ZPF/2019/Lab19/Lab1Idris

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