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-lang | |
| parent | e9f55783091fb1d5c07059be865d9d1fb02d3bfa (diff) | |
Use core aliases for number types
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions