diff options
| author | Nadrieril | 2019-04-10 20:02:56 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-10 20:02:56 +0200 |
| commit | 56edb3a50fb4168ed76a3795f0ed774a754b6c32 (patch) | |
| tree | 3b45926785054966252c43e904d36ee6d4f6cc24 /dhall/src/errors/IfBranchMustBeTerm.txt | |
| parent | 730d99adf2d4a7f222a71d687ea942545a7038fd (diff) | |
Split traits module into submodules
Diffstat (limited to 'dhall/src/errors/IfBranchMustBeTerm.txt')
0 files changed, 0 insertions, 0 deletions