Mercurial > urweb
log
age | author | description |
---|---|---|
Mon, 02 Jan 2012 16:54:18 -0500 | Adam Chlipala | Adapt Monoize serialization to handle freshly created variant types |
age | author | description |
---|---|---|
Mon, 02 Jan 2012 16:54:18 -0500 | Adam Chlipala | Adapt Monoize serialization to handle freshly created variant types |