From ac8cf9506493719ba4a3b2eda6ba318cdc10404c Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 7 Jun 2010 12:56:05 +0000 Subject: [PATCH] fix typo in category theory --- examples/category-theory/Morphisms.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/category-theory/Morphisms.gf b/examples/category-theory/Morphisms.gf index 10020686a..002a2656a 100644 --- a/examples/category-theory/Morphisms.gf +++ b/examples/category-theory/Morphisms.gf @@ -46,7 +46,7 @@ fun iso2epi : ({c} : Category) -> ({g} : Arrow y x) -> (Iso f g -> Epi f) ; -def iso2epi (iso fff g id_fg id_gf) = +def iso2epi (iso f g id_fg id_gf) = epi f (\h,m,eq_hf_mf -> eqSym (eqTran (eqIdL m) -- h = m (eqTran (eqCompL m id_fg) -- m . id = h