News for hackers. Stuff that matters.
Re:Notes on Ada by iamcurious on Saturday June 06, 2015 @05:43PM (#9672385)
Interesting. Thanks! (For a moment I thought the comment had a typo and was actually referring to Agda.)

There are no comments on this comment yet.