diff options
| author | Nadrieril | 2020-03-22 22:27:56 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-31 21:45:32 +0100 |
| commit | 3a5f2044954aae7278f16e30561a81626dba6923 (patch) | |
| tree | 1ee01a698c85540d8816dabeb121d3d2085833c7 /dhall/src/semantics/tck | |
| parent | 263fbebda7bc3c0f8c4497e1e508125ca91382f1 (diff) | |
Move mod simple into value
Diffstat (limited to 'dhall/src/semantics/tck')
0 files changed, 0 insertions, 0 deletions