Login
From:
Thomas Letan’s website
(Uncensored)
subscribe
Implementing an Echo Server in Coq with coqffi.1.0.0 · ~lthms
https://soap.coffee/~lthms/posts/CoqffiEcho.html
links
backlinks
Roast topics
Find topics
Find it!
In this article, we will demonstrate how coqffi can be used to implement an echo server, i.e., a TCP server which sends back any input it receives from its clients.
