Mercurial > urweb
log tests/longConst.urp
age | author | description |
---|---|---|
2012-07-18 | Adam Chlipala | Support fancy expressions in module-level 'val' declarations |
age | author | description |
---|---|---|
2012-07-18 | Adam Chlipala | Support fancy expressions in module-level 'val' declarations |