daml/compiler
Moritz Kiefer 3496ce03a4 Convert type classes to LF type synonyms (#4023)
changelog_begin
changelog_end
2020-01-24 09:24:45 +00:00
..
daml-extension upgrading to newest nodejs_rules (#4057) 2020-01-16 15:55:32 +01:00
daml-lf-ast Convert type classes to LF type synonyms (#4023) 2020-01-24 09:24:45 +00:00
daml-lf-proto Type checking DAML-LF type synonyms (#3959) 2020-01-10 17:51:51 +00:00
daml-lf-reader update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +01:00
daml-lf-tools check for and reject cyclic type synonym definitions (#4026) 2020-01-13 17:32:55 +00:00
daml-licenses remove MissingH (#3948) 2020-01-06 14:36:14 +01:00
damlc Convert type classes to LF type synonyms (#4023) 2020-01-24 09:24:45 +00:00
ghcide Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
hie-core Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
lsp-tests Bump ghcide to fix GHC panics in LSP tests (#4176) 2020-01-24 08:40:57 +00:00
scenario-service Engine: Add node and contract Discriminator 2020-01-22 18:49:30 +01:00
ghcide-daml.sh update copyright notices to 2020 (#3939) 2020-01-02 21:21:13 +01:00
README.md open-sourcing daml 2019-04-04 09:33:38 +01:00

DAML Compiler

This directory contains several libraries used by and the executable for the DAML compiler.

Libraries

  • daml-lf-ast: The DAML-LF AST and type checker.