diff options
| author | Nadrieril | 2020-04-14 15:26:30 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-06-24 22:13:53 +0100 |
| commit | bef786fe2ffbbd714e4c0e8e63ac96a394201feb (patch) | |
| tree | 2c71b808981da0257b573f984940dacdfebd27c1 /dhall/src/semantics/tck/tir.rs | |
| parent | c8b9d7e9dbbc8c110d5cf519513294582758ccad (diff) | |
refactor: refactor spec tests a bit
Diffstat (limited to 'dhall/src/semantics/tck/tir.rs')
0 files changed, 0 insertions, 0 deletions