IdrisDoc: System.Info

System.Info

backend : String

The Idris backend in use

os : String

The operating system in use.

targetTriple : String

The triple this program was targeted for