search

pufferffish / agda-symmetries

MIT License
5 stars 1 forks source link

Formalize free monoid under the new universal algebra framework #24

Closed pufferffish closed 10 months ago

vikraman commented 10 months ago

You can refactor the universal algebra framework to remove duplicate definitions, we should stick to just one thing.

vikraman commented 10 months ago

Also you can just delete the commented-out code since it's in version control, and the commit history will have the changes.

pufferffish commented 10 months ago

Also you can just delete the commented-out code since it's in version control, and the commit history will have the changes.

Yeah I will do that once I'm done with the PR, currently it's nice to have them around so I can port the code with the old code side by side