Index of /~nad/listings/CBS

	Name	Last modified	Size	Description
	Parent Directory		-
	Relation.Nullary.html	2016-12-08 10:40	7.5K
	Relation.Binary.html	2016-12-08 10:40	164K
	Relation.Binary.Prop..>	2016-12-08 10:40	141K
	Relation.Binary.Prop..>	2016-12-08 10:40	17K
	Relation.Binary.Inde..>	2016-12-08 10:40	16K
	Relation.Binary.Inde..>	2016-12-08 10:40	40K
	Relation.Binary.Hete..>	2016-12-08 10:40	9.8K
	Relation.Binary.Core..>	2016-12-08 10:40	124K
	Relation.Binary.Cons..>	2016-12-08 10:40	119K
	Relation.Binary.Cons..>	2016-12-08 10:40	11K
	Level.html	2016-12-08 10:40	5.6K
	Function.html	2016-12-08 10:40	71K
	Function.Equivalence..>	2016-12-08 10:40	66K
	Function.Equality.html	2016-12-08 10:40	67K
	Data.Unit.NonEta.html	2016-12-08 10:40	12K
	Data.Unit.Base.html	2016-12-08 10:40	3.6K
	Data.Sum.html	2016-12-08 10:40	39K
	Data.Product.html	2016-12-08 10:40	95K
	Data.Maybe.Base.html	2016-12-08 10:40	58K
	Data.Empty.html	2016-12-08 10:40	4.2K
	Data.Bool.Base.html	2016-12-08 10:40	21K
	Coinduction.html	2016-12-08 10:40	7.8K
	CBS.html	2016-12-08 10:40	71K
	Agda.css	2016-12-08 10:40	1.2K
	Agda.Primitive.html	2016-12-08 10:40	6.7K
	Agda.Builtin.Unit.html	2016-12-08 10:40	2.5K
	Agda.Builtin.Equalit..>	2016-12-08 10:40	4.6K
	Agda.Builtin.Coinduc..>	2016-12-08 10:40	7.0K
	Agda.Builtin.Bool.html	2016-12-08 10:40	4.6K

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

module README where

-- Syntax, small-step semantics.

import CBS