News for hackers. Stuff that matters.

A comment on Idris 1.0. Parent comment

Re:Idris 1.0 by jjnoakes on Saturday April 01, 2017 @02:06PM (#14013281)
How is unique_ptr a pain? Just typedef it to something palatable.

You must track files by some type already right?

[ Parent | on HN ]

There are no comments on this comment yet.