daml/daml-lf/spec
associahedron 04e8b4b7b1
First pass at generic order relation in DAML-LF 1.dev spec. (#4116)
* Generic order relation, first pass

* First pass at generic order specification

changelog_begin
changelog_end

* Order functions raise an error if the arguments are incomparable

* refer to internal representation for cid ordering

* Add gen lt rules for maps.
2020-01-23 14:05:05 +00:00
..
daml-lf-1.rst First pass at generic order relation in DAML-LF 1.dev spec. (#4116) 2020-01-23 14:05:05 +00:00
transaction.rst Engine: Simplify ordering of nodes in transaction (#4140) 2020-01-22 15:53:44 +00:00
value.rst update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +01:00