Index of /~nad/listings/CBS

[ICO]NameLast modifiedSizeDescription

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

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

module README where

-- Syntax, small-step semantics.

import CBS