search

pufferffish / agda-symmetries

MIT License
5 stars 1 forks source link

Show that any type is Free on the empty signature #28

Closed vikraman closed 9 months ago

vikraman commented 10 months ago

An interesting fact with a short proof!

Depends on #26