git.iko.soy/rowtype-yoga/purescript-native
on 95026fc help sign in
rowtype-yoga/purescript-native/examples/passing/MutRec.purs
15 lines 234 B history raw
1module MutRec where
3 f 0 = 0
4 f x = g x + 1
6 g x = f (x / 2)
8 data Even = Zero | Even Odd
10 data Odd = Odd Even
12 evenToNumber Zero = 0
13 evenToNumber (Even n) = oddToNumber n + 1
15 oddToNumber (Odd n) = evenToNumber n + 1