diff options
| author | Nadrieril | 2020-04-11 17:30:53 +0100 |
|---|---|---|
| committer | GitHub | 2020-04-11 17:30:53 +0100 |
| commit | feb6fdbc4e1bb6a168175f80f36cb18a04f13a9c (patch) | |
| tree | 1b10e9fe2f27b352bf5f37be1f7383f50ee429c6 /dhall/src/semantics/nze/env.rs | |
| parent | f78da0fb1f338123a226ec4d576b5329fffb5148 (diff) | |
| parent | 8ccbfcd1f7f7325c034f23a2cf943710ecb73337 (diff) | |
Merge pull request #161 from Nadrieril/catchup-spec
Move to v15 of the standard
Diffstat (limited to 'dhall/src/semantics/nze/env.rs')
0 files changed, 0 insertions, 0 deletions