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

22nd
Feb 2017
Namdak Tonpa
@5HT
Feb 22 2017 23:36
Ok I made it, corecursive: http://maxim.livejournal.com/505068.html