PageName	Summary + Labels	Changed	ChangedBy	...
	MetaCat	About the MetaCat extension to Cat.   Glossary	Nov 2008	cdiggins
	PartialEvaluation	About partial evaluation.   Glossary Usage	May 2007	cdiggins
	MetaCommand	About the interpreter meta-commands.   Glossary Usage	May 2007	cdiggins
	IntermediateLanguage	Definition and explanation of intermediate languages.   Glossary	May 2007	cdiggins
	Quotation	Definition of quotation.   Glossary CodeExample	May 2007	cdiggins
	CIL	About the Common Intermediate Language (CIL or MSIL)   Glossary	May 2007	cdiggins
	InlineExpansion	About inline expansion.   Usage Glossary	May 2007	cdiggins
	Function	Definition of a function.   Glossary	May 2007	cdiggins
	SideEffect	Definition of side effect.   Glossary	May 2007	cdiggins
	Purity	Explanation of purity and impurity.   Glossary	May 2007	cdiggins
	ReferentialTransparency	Definition of referential transparency.   Glossary	May 2007	cdiggins
	Level	Explanation of Cat implementation levels.   Glossary	May 2007	cdiggins
	Expression	Definition of expression.   Glossary	May 2007	cdiggins
	TypeInference	Explanation and usage of type inference.   Glossary Usage	May 2007	cdiggins
	KindSystem	Definition of a kind system.   Glossary Theory	Apr 2007	cdiggins
	StackUnderflow	Explanation of stack underflow and how a type-system prevents it.   Glossary	Apr 2007	cdiggins
	Thunk	Definition of thunks.   Glossary	Apr 2007	cdiggins
	Quote	Explanation of the quote primitive function.   Glossary Primitive	Apr 2007	cdiggins
	TypeTheory	A brief introduction to and motivation for type theory.   Glossary	Apr 2007	cdiggins
	RussellsParadox	An explanation of Russell's Paradox.   Glossary	Apr 2007	cdiggins
	Primitives	Explanation of the primitive functions and primitive types.   Glossary	Apr 2007	cdiggins
	HigherOrder	Definition of higher-order functions.   Glossary	Apr 2007	cdiggins
	Arity	Definition of function arity.   Glossary	Apr 2007	cdiggins
	RPN	Definition of reverse polish notation a.k.a postfix notation.   Glossary	Apr 2007	cdiggins
	StackLanguages	Definition of stack-based languages.   Glossary	Apr 2007	cdiggins
	Joy	Description of the Joy programming language.   Glossary	Mar 2007	cdiggins
	Functional	Definition of functional.   Glossary	Mar 2007	cdiggins
	TypeAnnotation	Type annotations for functions.   Glossary	Mar 2007	cdiggins
	Currying	Currying explanation and code example.   CodeExample Glossary	Mar 2007	cdiggins
	PointFreeForm	Definition of point-free form.   Glossary	Mar 2007	cdiggins