diff --git a/src/FDoc/NatExample.hs b/src/FDoc/NatExample.hs index 6da7e62fd..aed7b8cd7 100644 --- a/src/FDoc/NatExample.hs +++ b/src/FDoc/NatExample.hs @@ -48,7 +48,7 @@ natHylo num = hylo algebra coalgebra num 0 -> ZeroF _ -> SuccF (num - 1) --- Paramorphism: primitive recursion maintaining the original suboject along with its computed value. +-- Paramorphism: primitive recursion maintaining the original value along with its computed value. natPara :: Nat -> Int natPara nats = para algebra nats where