IdrisDoc
: System.Info
Index
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