summaryrefslogtreecommitdiff
path: root/dhall_syntax
diff options
context:
space:
mode:
authorFintanH2019-08-03 18:54:01 +0100
committerFintanH2019-08-03 18:54:01 +0100
commit8bc33c16e90ff6e1d2b4ddc7317a91190c9d8540 (patch)
tree0303d4b3af2990c97ce6747100e1b61259fcceff /dhall_syntax
parenta390b54b6a55a348b7fc000f9f81d395996a32c1 (diff)
Simplify Const checking logic
Diffstat (limited to 'dhall_syntax')
0 files changed, 0 insertions, 0 deletions