NormalizeA.dhall « unit « success « import « tests « dhall - dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

summary refs log tree commit diff

path: root/dhall/tests/import/success/unit/NormalizeA.dhall

blob: 2f89d08489f8295cbc97ce301592e9920f517f40 (plain)

1	`../../../../../dhall-lang/tests/normalization/success/unit/OperatorPlusOneAndOneA.dhall`