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
05ea7bdb75
daml/compiler
History
Dylan Thinnes 05ea7bdb75 Update desugared daml for UExerciseInterface[Guarded] generation
2022-08-25 09:49:08 +01:00
..
daml-extension update interface keywords in daml studio syntax file (#14759) 2022-08-19 11:02:15 +02:00
daml-lf-ast Merge remote-tracking branch 'origin/main' into dylan-lf-15-minimal-distinguish-guards 2022-08-24 16:35:31 +01:00
daml-lf-proto Make exercise guards nullable, ignore Nothing in decode/encode 2022-08-24 16:21:16 +01:00
daml-lf-reader hunt down DAML (#13191) 2022-03-08 14:25:25 +01:00
daml-lf-tools Make exercise guards nullable, ignore Nothing in decode/encode 2022-08-24 16:21:16 +01:00
damlc Update desugared daml for UExerciseInterface[Guarded] generation 2022-08-25 09:49:08 +01: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 Speed up Daml repl startup (#13172) 2022-03-09 08:22:42 +00:00
scenario-service Disclosure testing invalid contract type 2022-08-09 18:45:44 +01: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.