Re: [libmicrohttpd] Idris bindings for GNU libmicrohttpd

[Christian Grothoff]

Hi Colin,

Thanks for letting me know. I'll add a link to it from the MHD web site.
If anyone else has a (public, free software) project with bindings for
MHD, please also let the list know.

Happy hacking!

Christian

On 03/19/2016 01:09 PM, Colin Adams wrote:
> Hello Christian,
> 
> Just to let you know that I am creating bindings for Idris to
> libmicrohttpd. This is primarily for a new application I am writing in
> Idris (a server for the game of Chu Shogi). The repository for the bindings
> is at https://github.com/colin-adams/idris-libmicrohttpd .
>