m-chrzan.xyz
index
:
schmim
master
Interpreter for a simple typed lisp
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
bad
/
appType.mim
blob: c48dbf1b04bc74085cf3a14f2d53196bccde49aa (
plain
)
1
2
; the function expects an argument of type Int ((lambda x : Int x) false)