search

pufferffish / agda-symmetries

MIT License
5 stars 1 forks source link

Prove pentagon coherence for lists #94

Open dignissimus opened 6 months ago

dignissimus commented 6 months ago

Resolves #88

vikraman commented 5 months ago

Continuing on the list-mon-gpd branch: https://github.com/pufferffish/agda-symmetries/tree/list-mon-gpd