git.iko.soy/rowtype-yoga/purescript-native
on e24efbc help sign in
rowtype-yoga/purescript-native/examples/passing/MutRec.purs
21 lines 302 B history raw
1module MutRec where
3 import Prelude
5 f 0 = 0
6 f x = g x + 1
8 g x = f (x / 2)
10 data Even = Zero | Even Odd
12 data Odd = Odd Even
14 evenToNumber Zero = 0
15 evenToNumber (Even n) = oddToNumber n + 1
17 oddToNumber (Odd n) = evenToNumber n + 1
19module Main where
21main = Trace.trace "Done"