changeset | 210fb3dfc483 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Some more nested functor bug-fixing, including generating fresh internal names at applications; still need to debug issues with datatype constructors |
files |