1 2 3 4 5 6 7 8 9 10 11 12
Type error: error: error --> <current file>:1:15 | 1 | \(x: Bool) -> ../data/importBoundary.dhall | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Type error: error: unbound variable `x` --> <current file>:1:1 | ... 3 | x | ^ not found in this scope | |