git.iko.soy/rowtype-yoga/purescript-native
on 896bbcd help sign in
19 lines 300 B history raw
1module Main where
3import Prelude
5class A a where
6 a :: a -> Boolean
8class B a where
9 b :: a -> Boolean
11instance aNumber :: A Number where
12 a 0.0 = true
13 a n = b (n - 1.0)
15instance bNumber :: B Number where
16 b 0.0 = false
17 b n = a (n - 1.0)
19main = Control.Monad.Eff.Console.print $ a 10.0