Play

RPN at type level
Login
Interesting idea. I haven't really considered it much. What do you think are the pros and cons?