Create a Dreamwidth Account
Site and Account
Reload page in style:
2012-11-05 06:04 pm (UTC)
Oh, sorry, that's because I just made it up :P I don't think I used syntax for anything but unary box in the pdf? But I've been thinking of it as either "A  B" (for the full binary case) or "[p]B" or "_p B" (for box indexed by some restricted universe of permissions).
So if you just wanted to write a function that morally has type a -o b, but with elevated permissions, you'd write (a) -o b to indicate that you need the extra privilege to get into the function.
Thread from start
This account has disabled anonymous posting.
You can comment on this post while signed in with an account from many other sites, once you have confirmed your email address.
Sign in using OpenID
If you don't have an account you can
create one now
HTML doesn't work in the subject.
Check spelling during preview
This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.
Expand Cut Tags
No cut tags
Page generated Jun. 28th, 2017 05:42 pm
Top of page