diff options
| author | Nadrieril | 2020-03-08 17:36:51 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-31 21:44:01 +0100 |
| commit | 4e11e882b7d064e9ddf997f9a465206cf6e471aa (patch) | |
| tree | 17cba8f042c0ca9c8b863839d9244b25aa9b7fe0 /test.dhall | |
| parent | 84796fd247eb1a13fcd092a7cd7ec2d587b261bd (diff) | |
Split serde_dhall::Value to separate values from types
Diffstat (limited to '')
| -rw-r--r-- | test.dhall | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test.dhall b/test.dhall new file mode 100644 index 0000000..641c219 --- /dev/null +++ b/test.dhall @@ -0,0 +1,4 @@ +let Prelude = + https://prelude.dhall-lang.org/package.dhall sha256:c1b3fc613aabfb64a9e17f6c0d70fe82016a030beedd79851730993e9083fde2 + +in Prelude |