summaryrefslogtreecommitdiff
path: root/dhall_core
diff options
context:
space:
mode:
authorNadrieril2019-04-19 23:37:09 +0200
committerNadrieril2019-04-19 23:37:09 +0200
commit8fbd51228e392e8a6e6281e3f136f4e07760c41f (patch)
tree26c55566754fe7b08ee5fbf755339aba9bae8561 /dhall_core
parent110b8fb66c01f013e8b748b4e41645ab1c949639 (diff)
Natural literals and simplifications
Diffstat (limited to 'dhall_core')
0 files changed, 0 insertions, 0 deletions