blob: 5332fcbb7ce02f86208b2b71064fff930da7bd95 (
plain)
1
2
3
4
5
6
|
Type error: error: annot mismatch: ([1] : List Natural) : Optional Natural
--> <current file>:1:0
|
1 | [ 1 ] : Optional Natural
| ^^^^^^^^^^^^^^^^^^^^^^^^ annot mismatch: ([1] : List Natural) : Optional Natural
|
|