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