diff options
author | Nadrieril | 2019-04-11 20:45:43 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-11 20:45:43 +0200 |
commit | d9a2a77a19e56edd8eb96eba002e39bc7be3bde3 (patch) | |
tree | a2cb1badcaad84b94c08ae6643b81a6b8481559a /dhall-lang | |
parent | d17d553a39aa3bffdfc19b7fe4801b85d6bd80f7 (diff) |
Thread lifetimes through other newtypes
Closes #55
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions