Skip to content
GitLab
Explore
Sign in
Software
CoPaR
Repository
copar
src
Copar
Coalgebra
Parser
Class.hs
Find file
Blame
History
Permalink
Rename the functor H to F
· 4a649614
Hans-Peter Deifel
authored
Nov 09, 2018
F seems to be the canonical name for the functor of an F-coalgebra.
4a649614