agda --interactive websocket server