diff options
author | Nadrieril | 2020-02-10 19:14:07 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-10 19:14:07 +0000 |
commit | c3ed75dc4b354becac0821e4288105dc2a300c4c (patch) | |
tree | b85acbcfe0bdd0591cfc197de6bd68d9482801a6 /dhall/src/semantics/nze/lazy.rs | |
parent | 35cc98dc767247f4881866de40c7d8dd82eba8a5 (diff) |
Remove need for Embed
This was an archaic leftover from copying the Haskell datatypes anyway
Diffstat (limited to 'dhall/src/semantics/nze/lazy.rs')
0 files changed, 0 insertions, 0 deletions