summaryrefslogtreecommitdiff
path: root/dhall-lang
diff options
context:
space:
mode:
authorNadrieril2019-03-05 22:33:34 +0100
committerNadrieril2019-03-05 22:33:34 +0100
commitc098d598d24cfb1127dd1dc523cd6f4fc190bf29 (patch)
tree9625d729ecb6e377fd06382b2780b93e2fb442ac /dhall-lang
parente9f55783091fb1d5c07059be865d9d1fb02d3bfa (diff)
Use core aliases for number types
Diffstat (limited to 'dhall-lang')
0 files changed, 0 insertions, 0 deletions