Ptival/PeaCoq

Online demo

Opened this issue · 2 comments

langston-barrett commented

Would be pretty slick 😉

I'm thinking something like https://try.jupyter.org/

langston-barrett commented

The blog post references a demo, but it doesn't work: http://goto.ucsd.edu:4242/

Ptival commented

Indeed, I haven't maintained the demo, and I don't have one at the moment.

Soon™ 🙃