Index of /~rjhala/flops14/lhs

	Name	Last modified	Size	Description
	Parent Directory		-
	00_Index.lhs	2014-06-02 19:47	3.3K
	00_Index.lhs.slides.html	2014-06-05 18:26	14K
	01_SimpleRefinements.lhs	2014-06-02 20:38	6.1K
	01_SimpleRefinements.lhs.slides.html	2014-06-03 01:13	37K
	02_Measures.lhs	2014-06-02 20:46	7.9K
	02_Measures.lhs.slides.html	2014-06-03 01:15	44K
	03_HigherOrderFunctions.lhs	2014-06-02 15:14	3.4K
	03_HigherOrderFunctions.lhs.slides.html	2014-06-03 01:15	26K
	04_AbstractRefinements.lhs	2014-06-02 20:53	5.5K
	04_AbstractRefinements.lhs.slides.html	2014-06-03 01:15	28K
	05_Composition.lhs	2014-05-28 20:12	2.6K
	05_Composition.lhs.slides.html	2014-06-03 01:15	20K
	06_Inductive.lhs	2014-06-02 15:24	7.7K
	06_Inductive.lhs.slides.html	2014-06-03 01:15	56K
	07_Array.lhs	2014-05-28 20:12	7.1K
	07_Array.lhs.slides.html	2014-06-03 01:15	49K
	08_Recursive.lhs	2014-06-02 15:33	9.2K
	08_Recursive.lhs.slides.html	2014-06-03 01:16	85K
	09_Laziness.lhs	2014-06-02 20:56	4.6K
	09_Laziness.lhs.slides.html	2014-06-03 01:16	24K
	10_Termination.lhs	2014-06-02 15:37	5.3K
	10_Termination.lhs.slides.html	2014-06-03 01:16	31K
	11_Evaluation.lhs	2014-06-02 19:38	2.2K
	11_Evaluation.lhs.slides.html	2014-06-03 01:16	8.4K