dhall-docs-0.0.1: tasty/data/package/IndexesExample.dhall

{- Checking indexes -}

let x : Bool = True
let x : Natural = 1

in x@1