4 ms·
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
by star-castle 8y ago
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