IdrisDoc: System.Info

System.Info

targetTriple : String

The triple this program was targeted for

os : String

The operating system in use.

backend : String

The Idris backend in use