digital-asset/daml
1
1
Fork 0
mirror of https://github.com/digital-asset/daml.git synced 2024-09-20 17:28:46 +03:00
Code Issues Projects Releases Wiki Activity
cfd814c9de
daml/compiler
History
Remy bd43e54d7d
Add new Numeric builtin compatible with type erasure in LF proto. (#16757) 
part of #11679
2023-04-25 12:45:41 +02:00
..
daml-extension Automatically run scenarios in Studio with "Autorun All Tests" setting for Daml Extension (#16398) 2023-03-01 09:38:01 +00:00
daml-lf-ast LF: Rename builtins that would need a witness to allow nat type erasure (#16743) 2023-04-24 15:02:11 +00:00
daml-lf-proto Add new Numeric builtin compatible with type erasure in LF proto. (#16757) 2023-04-25 12:45:41 +02:00
daml-lf-reader bump copyright (#16002) 2023-01-04 18:21:15 +01:00
daml-lf-tools LF: Rename builtins that would need a witness to allow nat type erasure (#16743) 2023-04-24 15:02:11 +00:00
damlc Increase port timeout and cpu reserve for canton tests (#16742) 2023-04-25 11:41:26 +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 Convert LSP tests (#16615) 2023-03-29 11:41:29 +01:00
repl-service bump copyright (#16002) 2023-01-04 18:21:15 +01:00
scenario-service kill Node.Authority with fire (#16524) 2023-04-18 14:16: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.