diff options
| author | Nadrieril | 2020-03-22 22:11:00 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-31 21:45:31 +0100 |
| commit | a70922c6c6beb58a45da80f15576b54fb915ec28 (patch) | |
| tree | 13ec93aef7a8d5bb717b7722116c58f76a57dc36 /dhall/src/semantics/tck | |
| parent | fd4a81b1a92c1859941538b7f2212c621f4b43fd (diff) | |
Rework SimpleType
Diffstat (limited to 'dhall/src/semantics/tck')
0 files changed, 0 insertions, 0 deletions