diff options
| author | Nadrieril | 2020-04-05 16:42:04 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-04-05 16:42:04 +0100 |
| commit | 118c02d330865fcbfb1f2b0028f9404d61b662d8 (patch) | |
| tree | d6ab6f280acd80c8d65dc351e857bbbffe0155d6 /dhall/src/semantics/nze | |
| parent | 797241ebec5cec686056b5da73864db8eab03d48 (diff) | |
Borrow type annotation
Diffstat (limited to 'dhall/src/semantics/nze')
0 files changed, 0 insertions, 0 deletions