News for hackers. Stuff that matters.

A comment on Try Idris.

Re:Try Idris by fprotthetarball on Sunday April 13, 2014 @02:04PM (#7582172)
"This website abuses rawgit.com. You should complain to its owner."
[ Parent | on HN ]
Re:Try Idris by double051 on Sunday April 13, 2014 @02:10PM (#7582199)
Yeah, saw this alert after switching between 'Console' and 'Compile'.
[ Parent | on HN ]