diff options
author | Nadrieril | 2019-04-19 21:28:18 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-19 21:28:31 +0200 |
commit | ab93af7bb8bbe7785d76a86af531bae9b13574c4 (patch) | |
tree | 456aa44c34665269b6ec00a7e88edd790610c650 /test.dhall | |
parent | 12552383aa469b587b72b82337e5e17c6174ff9c (diff) |
A union constructor is a purely semantic value
Diffstat (limited to 'test.dhall')
0 files changed, 0 insertions, 0 deletions