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