diff options
| author | Nadrieril | 2020-02-13 19:48:11 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-13 19:48:11 +0000 |
| commit | 7b649b8647c60f1c02050805520f307edff0a94f (patch) | |
| tree | 73a6a38e430ba257228fd04ee69fc4f5e138ad7f /dhall/src/syntax/binary | |
| parent | 40bee3cdcb9ac0c76996feeceb6ca160a6bd8b42 (diff) | |
Only store type at root node in tyexpr
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions