index
:
urweb
master
functional programming language for web programming
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tests
/
saveEnv.ur
blob: b53f2198c2bd8122d9c73492107638d02412e428 (
plain
)
1
con c :: (K --> L --> (K * L) -> K) = K ==> L ==> fn p => p.2