daml/compiler
Sofia Faro b626aeb632
Add experimental builtin to show template typerep (#13004)
Part of #12792, this is the builtin we need to be able to effectively
store a TemplateTypeRep inside a template (i.e. you store a string
containing the template id, not a typerep).

changelog_begin
changelog_end
2022-02-21 18:24:56 +00: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 Add experimental builtin to show template typerep (#13004) 2022-02-21 18:24:56 +00:00
damlc Add experimental builtin to show template typerep (#13004) 2022-02-21 18:24:56 +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 LF: Add LoggingContext to Speedy Machine (#12976) 2022-02-21 13:34:46 +01:00
README.md Daml case and logo (#8433) 2021-01-08 12:50:15 +00: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.