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.)
[ Parent
| on HN ]
There are no comments on this comment yet.