Index of /~daria/ZPF/2021/Lab21/Lab1Idris

	Name	Last modified	Size	Description
	Parent Directory		-
	Printf.idr	2021-03-22 19:04	1.0K
	Zadania.txt	2021-03-22 19:04	1.7K
	jak-uzywac-Idris2-na-students.txt	2021-03-22 19:41	71