Ryan Scott 62ee6ff249 Give dhall repl's turnstile an ASCII variant (#1327) ... This makes `⊢` print as `|-` under `dhall --ascii repl`.		2019-09-18 12:29:08 -07:00
..
Dhall	Give dhall repl's turnstile an ASCII variant (#1327)	2019-09-18 12:29:08 -07:00
Dhall.hs	Simplify Inject/Interpret for 1-field records (#1315)	2019-09-15 03:37:42 +00:00