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