Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Some more nested functor bug-fixing, including generating fresh internal ↵ | 2014-02-20 | |
names at applications; still need to debug issues with datatype constructors |
![]() |
index : debian-urweb | |
Debian packaging for Ur/Web |
summaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Some more nested functor bug-fixing, including generating fresh internal ↵ | 2014-02-20 | |
names at applications; still need to debug issues with datatype constructors |