From e6d1c3e3ec454bcac19488285e7012b08228e8b8 Mon Sep 17 00:00:00 2001 From: Rick Winfrey Date: Mon, 21 Nov 2016 17:52:02 -0600 Subject: [PATCH] s/suboject/value --- src/FDoc/NatExample.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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