dhall-1.14.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 }
  ]
]