These are chat archives for coq-io/hello-world

14th
Feb 2017
Namdak Tonpa
@5HT
Feb 14 2017 23:50
hello
coq-io is just mind blowing
could you provide some repl example so I can start developing some interpreters ? :-)
or maybe some suggestions which parsers I can use more easily, etc.