summaryrefslogtreecommitdiff
path: root/dhall_syntax/src
diff options
context:
space:
mode:
authorNadrieril2019-05-05 01:47:15 +0200
committerNadrieril2019-05-05 01:47:15 +0200
commitfdac912e0ba7b7dd4f07eb85b13a8b82faa3e50c (patch)
treea04bb5c1f7df7162b762ce7da2aa1b2ab1758797 /dhall_syntax/src
parent699cc6e23a4fe867abfb63129923e548436f9dea (diff)
Implement normalization simplifications
Diffstat (limited to 'dhall_syntax/src')
0 files changed, 0 insertions, 0 deletions