*> You can use the REPL above to play* I don't see anything like that on my scre... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Udo on April 13, 2014 \| parent \| context \| favorite \| on: Try Idris > You can use the REPL above to play I don't see anything like that on my screen (OS X, Firefox latest). It's basically just three lines of code without any interaction.

fhars on April 13, 2014 | [–]

The beginning of the HTML (including the head with the script links) is [sometimes] missing from the page sent by the server.

RussianCow on April 13, 2014 | | [–]

Same thing here, in both Firefox and Chrome.

Edit: Weird, after a couple refreshes it worked, but then I refreshed again and the console disappeared again.

chrisdevereux on April 13, 2014 | [–]

Same for me (OS X, Safari latest)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact