summaryrefslogtreecommitdiff
path: root/dhall_core
diff options
context:
space:
mode:
authorNadrieril2019-04-06 17:50:47 +0200
committerNadrieril2019-04-06 17:50:47 +0200
commitd9b4bd8d4019ca9ab999c0c4657663604158101c (patch)
tree15b90ab300995a7dd92c469b903d2fc8f6d57888 /dhall_core
parent9741e3280ed03920732430e7994e1f8482c9ddd6 (diff)
s/Type/StaticType/
Diffstat (limited to 'dhall_core')
0 files changed, 0 insertions, 0 deletions