2015 MacBook Pro, compiling his 'first cut at it' example:

    # time idris -o Foo Foo.idr
    
    real	0m31.683s
    user	0m30.646s
    sys	0m0.876s