mirror of
https://github.com/github/semantic.git
synced 2024-12-23 06:41:45 +03:00
s/suboject/value
This commit is contained in:
parent
9c4046463f
commit
e6d1c3e3ec
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user