Index of /~daria/ZPF/2022/Lab22/Lab1Idris

	Name	Last modified	Size	Description
	Parent Directory		-
	Printf.idr	2022-03-14 21:22	1.0K
	Zadania.txt	2022-03-14 21:22	2.0K
	jak-uzywac-Idris2-na-students.txt	2022-03-14 21:22	58