Idris2Doc : System.Info

System.Info

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