diff options
| author | Nadrieril | 2019-09-10 16:29:48 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-09-10 16:38:28 +0200 |
| commit | 26f54b10314f90dc5457cd0760af7f109be78e5f (patch) | |
| tree | 892fd7e0be529e9a5c67f1893b854fb3e2a7172b /dhall_syntax/src | |
| parent | 65fd9a895ba3093f9b5d9d02fb8bd18a9be61808 (diff) | |
Use an enum instead of strings for rule aliasing
Diffstat (limited to 'dhall_syntax/src')
0 files changed, 0 insertions, 0 deletions