dhall-1.42.2: dhall-lang/tests/parser/success/binaryA.dhall
λ(x : Bool)
→ λ(x : Bool)
→ { example0 = 0b0
, example1 = 0b10
, example2 = -0b11001
, example3 = +0b100
, example4 = x@0b01
}
λ(x : Bool)
→ λ(x : Bool)
→ { example0 = 0b0
, example1 = 0b10
, example2 = -0b11001
, example3 = +0b100
, example4 = x@0b01
}