summaryrefslogtreecommitdiff
path: root/dhall_syntax/src
diff options
context:
space:
mode:
authorNadrieril2019-05-05 19:06:28 +0200
committerNadrieril2019-05-05 19:06:28 +0200
commitd8a3e831fb67f86269c4baa99f9f0798a73a7247 (patch)
tree7cd7ea07e7d9124ff30e356e216e9ae3024c692c /dhall_syntax/src
parentfdac912e0ba7b7dd4f07eb85b13a8b82faa3e50c (diff)
s/DoubleVar/AlphaVar/
Diffstat (limited to 'dhall_syntax/src')
0 files changed, 0 insertions, 0 deletions