diff options
author | Nadrieril | 2019-03-16 00:18:50 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-16 00:18:50 +0100 |
commit | 5692bf2c8a7acfb90a5d03d0bd360c105ba2a72b (patch) | |
tree | b86ac0beeb06cb9984f1d6a2ba547d391674533e /dhall_core/src/context.rs | |
parent | 1522469dc0b68c63dbbc81faab057c3d48402657 (diff) |
Store an Option in OptionalLit instead of a vec
Closes #21
Diffstat (limited to 'dhall_core/src/context.rs')
0 files changed, 0 insertions, 0 deletions