Refactor permutation relation - Githubissues

pufferffish / agda-symmetries

MIT License

5 stars 1 forks source link

Refactor permutation relation #63

Closed vikraman closed 1 year ago

vikraman commented 1 year ago

Refactor perm relation
Refactor PList using new perm relation
Update index of modules