index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
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
