Select Git revision
-
Hans-Peter Deifel authored
F seems to be the canonical name for the functor of an F-coalgebra.
Hans-Peter Deifel authoredF seems to be the canonical name for the functor of an F-coalgebra.
BenchParser.hs 1.68 KiB