News for hackers. Stuff that matters.

A comment on Notes on Idris (2017). Parent comment

Re:Notes on Idris (2017) by star-castle on Thursday June 07, 2018 @02:27PM (#17258696)
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
[ Parent | on HN ]

There are no comments on this comment yet.