diff options
author | Nadrieril | 2019-03-05 22:33:34 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-05 22:33:34 +0100 |
commit | c098d598d24cfb1127dd1dc523cd6f4fc190bf29 (patch) | |
tree | 9625d729ecb6e377fd06382b2780b93e2fb442ac /dhall_parser | |
parent | e9f55783091fb1d5c07059be865d9d1fb02d3bfa (diff) |
Use core aliases for number types
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions