dhall-1.11.0: tests/normalization/examples/List/shifted/0A.dhall
../../../../../Prelude/List/shifted
Bool
[ [ { index = +0, value = True }
, { index = +1, value = True }
, { index = +2, value = False }
]
, [ { index = +0, value = False }
, { index = +1, value = False }
]
, [ { index = +0, value = True }
, { index = +1, value = True }
, { index = +2, value = True }
, { index = +3, value = True }
]
]