diff options
author | Nadrieril | 2020-04-05 18:14:06 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-05 18:14:06 +0100 |
commit | 1f1ba51249df6f3ce739d4727e054d0893fd3288 (patch) | |
tree | 7a05991753ecf28369a5a1eac932191234e35901 /dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt | |
parent | 7e977f282fb6a0eff0ef45738b9b5c98dc4c6fee (diff) |
Doc tweaks
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions