idris-lang/Idris-dev — pull request #1264 by melted (2014-05-29 10:43:05+00:00)
Title: Add a prim__systemInfo primitive.

Add System.Info with os and backend functions.

Add system info to JS and C backends.