digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 09:17:43 +03:00
Code Issues Projects Releases Wiki Activity
f4766ad903
daml/compiler
History
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-extension Visual integration with LSP (#2597) 2019-08-26 15:47:29 +00:00
daml-lf-ast Revert "Revert "Intern all strings and dotted names in the DAML-LF protobuf encoding (#3067)"" (#3120) 2019-10-16 12:12:07 +00:00
daml-lf-proto Revert "Revert "Intern all strings and dotted names in the DAML-LF protobuf encoding (#3067)"" (#3120) 2019-10-16 12:12:07 +00:00
daml-lf-reader Rename hazel_deps to hackage_deps (#2789) 2019-09-06 09:01:09 +00:00
daml-lf-tools Forbid quantifiers in Any in the Haskell typechecker (#3200) 2019-10-16 15:10:45 +00:00
daml-licenses update copyright notices (#2499) 2019-08-13 17:23:03 +01:00
damlc Revert "Revert "Intern all strings and dotted names in the DAML-LF protobuf encoding (#3067)"" (#3120) 2019-10-16 12:12:07 +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 Avoid normalizing include dirs (#3103) 2019-10-04 10:41:44 +02:00
scenario-service daml-lf: repackage daml-lf archive proto (daml_lf -> daml_lf_dev) (#3169) 2019-10-15 09:36:11 +00:00
ghcide-daml.sh Get ghcide from the new upstream repo (#2867) 2019-09-11 08:57:48 +02:00
README.md open-sourcing daml 2019-04-04 09:33:38 +01:00

README.md

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.