Sign in
◑
Theme
opensecura
/
3p
/
nicta
/
cogent
/
8a35eea7a1f65b9ba9006567c2703aab20dfaf43
/
.
/
minigent
/
examples
/
6_recursive
/
10-bang-incompatible
/
expected.err
blob: 6d114eaa0d943d05993b393e82446942d6bd0db8 [
file
]
Typecheck
failed
in
function
bad
•
rec k
!
:<
rec k
