Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Effectness analysis | 2009-04-16 | |
* | Avoid any JavaScript when pages don't need it; update demo prose | 2009-03-10 | |
* | About to begin optimization of recursive transaction functions | 2008-11-06 | |
* | Remove need for '() <-' notation | 2008-10-27 | |
* | Fix bug with bringing functor argument instances into scope; Ref demo, minus ... | 2008-10-23 |