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
dfd38186fe
daml/compiler
History
Moritz Kiefer 04eff2722c
Drop daml-lf-verify (#12942) 
This is completely unmaintained, unused and partially broken so delete
it for now. Worst case, we recover it from Git history.

closes #6550 because it now refers to deleted code.

changelog_begin
changelog_end
2022-02-15 12:31:32 +01:00
..
daml-extension Add autoformatting to ts bindings & navigator frontend (#12693) 2022-02-11 11:44:52 +00:00
daml-lf-ast Replace experimental interface primitives with proper LF primitives (#12678) 2022-02-03 13:36:45 +00:00
daml-lf-proto Replace experimental interface primitives with proper LF primitives (#12678) 2022-02-03 13:36:45 +00:00
daml-lf-reader update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
daml-lf-tools Replace experimental interface primitives with proper LF primitives (#12678) 2022-02-03 13:36:45 +00:00
damlc Enable go-to-definition for interface methods and choices (#12903) 2022-02-15 08:30:30 +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 Upgrade ghcide (#12579) 2022-01-26 16:00:20 +01:00
repl-service Fold daml test-script under daml script --all (#12895) 2022-02-14 14:23:21 +01:00
scenario-service Disable implicit party allocation in Daml Studio (#12839) 2022-02-09 17:47:40 +00:00
README.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00: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.