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 /dhall/src/errors/MustMergeUnion.txt | |
| parent | 12552383aa469b587b72b82337e5e17c6174ff9c (diff) | |
A union constructor is a purely semantic value
Diffstat (limited to 'dhall/src/errors/MustMergeUnion.txt')
0 files changed, 0 insertions, 0 deletions