daml/daml-lf/spec
Moritz Kiefer f5605247b3
Include type synonyms in LF abstract syntax (#3694)
* Include type synonyms in LF abstract syntax

* Use T instead of S for synonyms

Following a suggestion from @remyhaemmerle-da, we avoid having to
adapt all rules to synonyms by simply reusing the definition of type
constructors.
2019-12-02 15:20:38 +01:00
..
daml-lf-1.rst Include type synonyms in LF abstract syntax (#3694) 2019-12-02 15:20:38 +01:00
transaction.rst update copyright notices (#2499) 2019-08-13 17:23:03 +01:00
value.rst DAML-LF: generic map values protobuf format (#3583) 2019-11-26 13:34:33 +00:00