dhall-haskell/dhall/tests/normalization/examples/Bool/build/1A.dhall

(../../../../../Prelude/package.dhall).`Bool`.build 
(λ(bool : Type) → λ(true : bool) → λ(false : bool) → false)
Import Prelude instead of vendoring the Prelude (#639) This uses Dhall's import system to fetch the Prelude so that we don't have to keep a local copy of it 2018-10-14 18:00:08 +02:00			(../../../../../Prelude/package.dhall).`Bool`.build
Split example tests out into test files (#311) Fixes #20 This migrates `tests/Examples.hs` to use a language-independent test file format so that other implementations can reuse these tests 2018-02-28 23:12:59 +01:00			`(λ(bool : Type) → λ(true : bool) → λ(false : bool) → false)`