diff options
| author | Nadrieril | 2020-12-07 20:03:37 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-12-08 20:25:20 +0000 |
| commit | d79f700ace3bf016bc578272fd800732dbaa1922 (patch) | |
| tree | 5130a0acd3b1a651f484e24e764ba8a882540fea /dhall/src/semantics/nze | |
| parent | b4ebbb2b8851e1f792ea6c01b927b83eddee7c5a (diff) | |
tweak: factor a bit
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions