packages feed

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

{-|
This example shows that `dhall-docs` will find render the correct type on the
index respecting variable indices
-}

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

in x@1