daml/compiler
Remy e055b2bd9b DAML LF: expose generic equality in LF (#3752)
* daml-lf: expose generic equality

* drop unnecessary parentheses

* fix issue number

* address Fran's comments
2019-12-06 14:12:48 +00:00
..
daml-extension Fix logic for blog notifications (stop treating arrays as strings) (#3738) 2019-12-04 21:12:21 +00:00
daml-lf-ast Add unstable experimental text primitives in DA.Text and LF 1.dev (#3734) 2019-12-05 14:35:50 +00:00
daml-lf-proto DAML LF: expose generic equality in LF (#3752) 2019-12-06 14:12:48 +00:00
daml-lf-reader language: suffix all dalfs dependencies in a dar with the pkgid. (#3668) 2019-12-05 11:47:45 +00:00
daml-lf-tools Add unstable experimental text primitives in DA.Text and LF 1.dev (#3734) 2019-12-05 14:35:50 +00:00
daml-licenses Remove dead dependency on jboss logging library (#3333) 2019-11-05 11:36:43 +01:00
damlc Create a new type for package imports (#3765) 2019-12-06 14:02:59 +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 Replace Hazel by stack_snapshot (#2743) 2019-11-22 14:24:08 +00:00
scenario-service DAML Engine: accurate package dependency annotations (#3726) 2019-12-04 15:01:21 +01:00
ghcide-daml.sh Replace Hazel by stack_snapshot (#2743) 2019-11-22 14:24:08 +00: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.