[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [libmicrohttpd] Idris bindings for GNU libmicrohttpd

From: Christian Grothoff
Subject: Re: [libmicrohttpd] Idris bindings for GNU libmicrohttpd
Date: Sat, 19 Mar 2016 14:08:28 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.5.0

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!


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 .

reply via email to

[Prev in Thread] Current Thread [Next in Thread]