diff options
| author | Nadrieril Feneanar | 2019-08-30 19:17:07 +0200 |
|---|---|---|
| committer | GitHub | 2019-08-30 19:17:07 +0200 |
| commit | ddecd2c40b91ea6aa4e23ccb2f6817ad5d1df3de (patch) | |
| tree | fc915b8f5e5f41eb20571c4ad67dd4bb9ace72bc /dhall/src/error/text/AnnotMismatch.txt | |
| parent | a981afc465f4279a7a4d6ce3ac5844e04846613b (diff) | |
| parent | a7363042a16364a6dafdd545f4069dcf04a4197e (diff) | |
Merge pull request #108 from Nadrieril/rename-subexpr
Rename SubExpr to Expr
Diffstat (limited to 'dhall/src/error/text/AnnotMismatch.txt')
0 files changed, 0 insertions, 0 deletions