Index of /~daria/ZPF/2023/Lab23/Lab1Idris

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