diff options
author | Nadrieril | 2020-04-05 17:57:07 +0100 |
---|---|---|
committer | GitHub | 2020-04-05 17:57:07 +0100 |
commit | 7e977f282fb6a0eff0ef45738b9b5c98dc4c6fee (patch) | |
tree | ad4249609707fd8720a44469152105c2f6a67c79 /test.dhall | |
parent | 5a5aa49e64197899006751db72e404f4b2292d4e (diff) | |
parent | 820214615547101f8f2b5de209b5189968bddfee (diff) |
Merge pull request #154 from Nadrieril/cleanup-api
Rewrite serde_dhall API
Diffstat (limited to 'test.dhall')
-rw-r--r-- | test.dhall | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test.dhall b/test.dhall new file mode 100644 index 0000000..c91ac54 --- /dev/null +++ b/test.dhall @@ -0,0 +1 @@ +{ x = 0 } with x = (1 + 1) |