diff options
| author | Nadrieril | 2020-10-28 20:38:29 +0000 |
|---|---|---|
| committer | GitHub | 2020-10-28 20:38:29 +0000 |
| commit | 70727acbda68e104f60ae1dbbe95adbcec08a628 (patch) | |
| tree | ac3f0782fb90c8f6b03b3d29d1032d06d637e4ee /dhall/src/semantics | |
| parent | 2b4ba42b7f0a44893f17548f069cec1e60819aa4 (diff) | |
| parent | 9e3f68fc54babf24133cf66ae6be7d069ba2c271 (diff) | |
Merge pull request #188 from Nadrieril/change-nums
Use u64/i64 instead of usize/isize for the main number types
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions