git.iko.soy/Idris-dev
on ebbae35 help sign in
Idris-dev/test/basic011/basic011.idr
16 lines 437 B history raw
1module Main
3import Data.Hash
5main : IO ()
6main = do printLn $ hash (the Bits8 3)
7 printLn $ hash (the (List Bits8) [3])
8 printLn $ hash "hello world"
9 printLn $ hash 'a'
10 printLn $ hash (the Bits8 3)
11 printLn $ hash (the Bits16 3)
12 printLn $ hash (the Bits32 3)
13 printLn $ hash (the Bits64 3)
14 printLn $ hash (the Int 3)
15 printLn $ hash (the Integer 3)