Index of /~marks/463/slides/5.STLC

	Name	Last modified	Size	Description
	Parent Directory		-
	5.stlc.pdf	2024-03-12 13:00	308K
	STLC.hs	2023-08-29 14:18	14K
	stlc_rules.html	2023-08-29 14:18	25K
	stlc_slide_examples.txt	2023-08-29 14:18	16K
	typing_example.html	2023-10-19 12:40	14K