diff options
| author | Nadrieril | 2020-03-01 18:06:46 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
| commit | cbc1825313389746f08df5502568b2e13e04790d (patch) | |
| tree | c1c32701f0dc38835eccb806534bb19297cbf420 /dhall/src/semantics/tck | |
| parent | 386f34af802a812c2af8ece2cc427cfb5a7c1fe8 (diff) | |
Refactor resolve a bit
Diffstat (limited to 'dhall/src/semantics/tck')
0 files changed, 0 insertions, 0 deletions