diff options
| author | Nadrieril | 2019-04-10 19:16:11 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-10 19:16:11 +0200 |
| commit | e1a30c6f248c0c17c97598290a0d94993dbb0325 (patch) | |
| tree | 960eb4029f2ba9a824e34219915e942b1b65e4cd /dhall-lang | |
| parent | 982f86c34f69bb78b45a4b8b37a5bf5731f881eb (diff) | |
Add SimpleType and SimpeStaticType. Derive the latter
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions