Idris2Doc : System.Info

System.Info

codegen : String
getNProcessors : IO (MaybeNat)
isWindows : Bool
os : String