Idris2Doc : System.Info

System.Info

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