Rename the functor H to F (!7) · Merge requests · Informatik 8 / CoPaR · GitLab

This is an archived project. Repository and other project resources are read-only.

Hans-Peter Deifel requested to merge h-to-f into master Nov 09, 2018

F seems to be the canonical name for the functor of an F-coalgebra.