PageName ▼	Summary + Labels ▼	Changed ▼	ChangedBy ▼	...
	Calculus	A calculus for Scala with higher-kinded types	Feb 2010	adria...@gmail.com
	Syntax	Description of the current syntax and proposals for future enhancements.	Feb 2010	adria...@gmail.com
	TypeSystem	Description of the extensions to the type system.	Feb 2010	adria...@gmail.com