Index of /~nad/listings/CBS

	Name	Last modified	Size	Description
	Parent Directory		-
	Relation.Binary.html	07-Sep-2010 15:00	140K
	Relation.Binary.Core..>	07-Sep-2010 15:00	132K
	Data.Product.html	07-Sep-2010 15:00	91K
	Relation.Binary.Cons..>	07-Sep-2010 15:00	88K
	Relation.Binary.Prop..>	07-Sep-2010 15:00	82K
	CBS.html	07-Sep-2010 15:00	71K
	Function.Equivalence..>	07-Sep-2010 15:00	67K
	Function.Equality.html	07-Sep-2010 15:00	62K
	Function.html	07-Sep-2010 15:00	53K
	Relation.Binary.Inde..>	07-Sep-2010 15:00	42K
	Data.Sum.html	07-Sep-2010 15:00	36K
	Relation.Binary.Preo..>	07-Sep-2010 15:00	21K
	Relation.Binary.Prop..>	07-Sep-2010 15:00	18K
	Relation.Binary.Inde..>	07-Sep-2010 15:00	17K
	Relation.Binary.Cons..>	07-Sep-2010 15:00	11K
	Coinduction.html	07-Sep-2010 15:00	11K
	Level.html	07-Sep-2010 15:00	10K
	Relation.Nullary.Cor..>	07-Sep-2010 15:00	7.9K
	Relation.Binary.EqRe..>	07-Sep-2010 15:00	7.2K
	Data.Maybe.Core.html	07-Sep-2010 15:00	4.6K
	Relation.Nullary.html	07-Sep-2010 15:00	3.8K
	Data.Empty.html	07-Sep-2010 15:00	3.8K
	README.html	07-Sep-2010 15:00	1.6K
	Agda.css	07-Sep-2010 15:00	1.1K

------------------------------------------------------------------------
-- A formalisation of CBS
--
-- Nils Anders Danielsson
------------------------------------------------------------------------

module README where

-- Syntax, small-step semantics.

import CBS