A binding of the GNU libmicrohttpd library to the Idris C backend
huiyuebudaixi / idris-libmicrohttpd Goto Github PK
View Code? Open in Web Editor NEWThis project forked from colin-adams/idris-libmicrohttpd
A binding of the GNU libmicrohttpd library to the Idris C backend
License: Other