daml/daml-lf/spec
Moritz Kiefer f4766ad903 Forbid quantifiers in Any in the Haskell typechecker (#3200)
This is a followup to #3196 which updated the Scala typechecker
2019-10-16 15:10:45 +00:00
..
daml-lf-1.rst Forbid quantifiers in Any in the Haskell typechecker (#3200) 2019-10-16 15:10:45 +00:00
transaction.rst update copyright notices (#2499) 2019-08-13 17:23:03 +01:00
value.rst Engine: update daml-lf value proto (#3001) 2019-10-07 19:27:23 +00:00