diff options
| author | Nadrieril Feneanar | 2019-09-03 17:29:49 +0200 |
|---|---|---|
| committer | GitHub | 2019-09-03 17:29:49 +0200 |
| commit | b263635ce54a28dc4598e0f2832a456eca7521fa (patch) | |
| tree | 06377aaa05944f90280cc9eb6be1847c1a1cf01b /dhall/src/core | |
| parent | 249f31c030dc8cf8c2c8065409b3f7e87639aad3 (diff) | |
| parent | d0cc3ceb96870a6d951aab5afec1140404e67492 (diff) | |
Merge pull request #111 from Nadrieril/resolve-mut
Resolve imports by mutating Expr instead of cloning it
Diffstat (limited to 'dhall/src/core')
0 files changed, 0 insertions, 0 deletions