diff options
| author | Nadrieril | 2020-01-30 18:06:53 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-30 18:06:53 +0000 |
| commit | 0749482ad2ab9340fb45a2fe2997d2ea04516d75 (patch) | |
| tree | 08e3e0d817ebd031e8b6db98e2fc0bc65b5074b7 /dhall/src/semantics/tck | |
| parent | 7062de011eab7954f4bcf78fa1cf970ba91d6a5a (diff) | |
Remove type parameter from ValueKind
Diffstat (limited to 'dhall/src/semantics/tck')
0 files changed, 0 insertions, 0 deletions