
HUnit.hs -- defines standard test functions

intro -- Lecture 3: Functional programming

types -- Lecture 4: Type systems

huf -- Lecture 5: An application of Functional Programming
	hufDemoCases -- code to copy & paste to haskell
	iam -- input for huf
	HufOutput -- sample output from running [enc "iam"] and [enc "huf"]

lambda -- Lecture 6: Lambda calculus

-- Introduction to Denotational Semantics
sem1 -- A calculator language
sem2 -- A Language with Assignment
store -- modelling environments (examples)
