daml/compiler/daml-lf-tools
Robin Krom 6dc769b7ad
interfaces: lf typechecker implementation (#10843)
* interfaces: lf typechecker implementation

CHANGELOG_BEGIN
CHANGELOG_END

* review suggestions
2021-09-13 14:58:33 +02:00
..
src/DA/Daml/LF interfaces: lf typechecker implementation (#10843) 2021-09-13 14:58:33 +02:00
tests/DA/Daml/LF/Simplifier Add daml interfaces to the Haskell LF AST (#10811) 2021-09-08 15:48:02 +00:00
BUILD.bazel update copyright notices for 2021 (#8257) 2021-01-01 19:49:51 +01:00