Main = if True then 1 else 2

-- import ./ProjectEuler/Utils/NumberTheory.cro
-- import ./ProjectEuler/Utils/Iters.cro

-- Fact = Fix (\f n -> if n == 0 then 1 else n * (f (n - 1)))

-- A a? 0 = a 
-- A 0 b? = b 

-- M _? 0 = 0
-- M 0 _? = 0
-- M a? 1 = a
-- M 1 b? = b

-- -- a? `M` (b? `A` c?) = (a `M` b) `A` (a `M` c)
-- -- Main :: [a] -> Int
-- Main = LenIt (IterWhile (< 100000) Primes)