Sign in
opensecura
/
3p
/
nicta
/
cogent
/
refs/heads/master
/
.
/
minigent
/
examples
/
0_basics
/
08-occurs-check
/
expected.err
blob: b67891d2ce00a77fd165f5f16c73606617aae2ef [
file
] [
edit
]
Typecheck
failed
in
function
ambiguous
•
Solved
𝛇
•
Solved
𝛇
Typecheck
failed
in
function
bad
•
𝛍
->
𝛍
:=:
a
•
Drop
a
