diff options
author | Nadrieril | 2019-04-13 16:48:35 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-13 16:48:35 +0200 |
commit | 7afdd4773dc47ccae6653a18215a6acd9553feaf (patch) | |
tree | c05848e74e56f0b34e2a718cba7b6b1f678fe566 /test.dhall | |
parent | a4e8f799fb4665b210086c28647e0fa335384913 (diff) |
Split typecheck into two phases
Diffstat (limited to 'test.dhall')
0 files changed, 0 insertions, 0 deletions