blob: 7aa2281f06dfd23ee96a10df7f1ed5205930fc38 (
plain)
1
2
3
4
5
6
7
8
|
Type error: Unhandled error: error: function annot mismatch
--> <current file>:1:1
|
1 | (λ(_ : Natural) → _) True
| ^^^^^^^^^^^^^^^^^^^^^^^^ function annot mismatch
| ------------------ help: this expects an argument of type: Natural
| ---- help: but this has type: Bool
|
|