1module Main where
2
3import Prelude
4import Effect.Console (log, logShow)
5
6test =
7  let f :: Number -> Boolean
8      f 0.0 = false
9      f n = g (n - 1.0)
10
11      g :: Number -> Boolean
12      g 0.0 = true
13      g n = f (n - 1.0)
14
15      x = f 1.0
16  in not x
17
18main = do
19  logShow test
20  log "Done"
21