diff options
author | Nadrieril | 2019-08-25 16:33:12 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-25 16:37:31 +0200 |
commit | 80fb5355ea90377492b9863f632c01a808f8aade (patch) | |
tree | e9de4459615e601da64862e26c56c68b4265999e /test.dhall | |
parent | 98399997cf289d802fbed674558665547cf73d59 (diff) |
Check consistency of type information
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions