search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
362 stars 68 forks source link

Spelling mistake in Categories.Morphism.HeterogeneousIdentity #332

Closed Icelandjack closed 2 years ago

Icelandjack commented 2 years ago

There is a spelling mistake "syntically equal" in Categories.Morphism.HeterogeneousIdentity: https://github.com/agda/agda-categories/blob/master/src/Categories/Morphism/HeterogeneousIdentity.agda#L40

JacquesCarette commented 2 years ago

Well-spotted, will fix.