Index of /~trebla/CSCC24-latest/dhall-rankn-code

	Name	Last modified	Size	Description
	Parent Directory		-
	Inductive.hs	2026-07-05 19:42	454
	L.dhall	2026-06-27 23:14	405
	MyListZ.dhall	2026-07-05 19:42	1.0K
	Stream.dhall	2026-07-05 19:42	1.1K
	automarking.dhall	2026-06-27 23:14	1.0K