| title | tags | |
|---|---|---|
Optional record fields in Dhall |
|
Use the // operator trick to support truly optional record fields in Dhall.
TODO: explain with code example.
This repository was archived by the owner on Jun 13, 2020. It is now read-only.
| title | tags | |
|---|---|---|
Optional record fields in Dhall |
|
Use the // operator trick to support truly optional record fields in Dhall.
TODO: explain with code example.