git.iko.soy/Idris-dev
on d740cc5 help sign in
Idris-dev/test/tutorial007/tutorial007.idr
9 lines 187 B history raw
1module Main
2import Providers
3%language TypeProviders
4%provide (szSizeT : NativeTypeSize) with getSizeOfSizeT
6main : IO ()
7main = do
8 putStr "sizeof(size_t): "
9 putStrLn (show szSizeT)