15 lines
387 B
Haskell
15 lines
387 B
Haskell
-- We use a couple of GHC extensions to make the program cooler. They let us
|
||
-- use / as an operator and 13 as a literal at the type level. (The library
|
||
-- also provides the fancy Zahlen (ℤ) symbol as a synonym for Integer.)
|
||
|
||
{-# Language DataKinds #-}
|
||
{-# Language TypeOperators #-}
|
||
|
||
import Data.Modular
|
||
|
||
f :: ℤ/13 -> ℤ/13
|
||
f x = x^100 + x + 1
|
||
|
||
main :: IO ()
|
||
main = print (f 10)
|