1/1: Building Echo (Echo.idr)
Main> Received: hello world from a ipv4 socket!
Received: echo: hello world from a ipv4 socket!
Received: hello world from a unix socket!
Received: echo: hello world from a unix socket!
Main> Bye for now!
