Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Laconic -> Ur | 2008-08-31 | |
* | Proper hiding of shadowed bindings in principal signatures | 2008-06-26 | |
* | Signature duplicate entry checking for principal signatures | 2008-06-22 |
![]() |
index : urweb | |
functional programming language for web programming |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Laconic -> Ur | 2008-08-31 | |
* | Proper hiding of shadowed bindings in principal signatures | 2008-06-26 | |
* | Signature duplicate entry checking for principal signatures | 2008-06-22 |