coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Ade Umut Huxtable" <tkdtezx AT mail.nu>
- To: <coq-club AT inria.fr>
- Subject: [Coq-Club] [beque] project announcement
- Date: Thu, 14 Jul 2016 05:16:40 -0700
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tkdtezx AT mail.nu; spf=None smtp.mailfrom=tkdtezx AT mail.nu; spf=None smtp.helo=postmaster AT imta-35.everyone.net
- Ironport-phdr: 9a23:o2emyRxZ8Zux5o7XCy+O+j09IxM/srCxBDY+r6Qd0ewWIJqq85mqBkHD//Il1AaPBtSDra4ewLaL+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2WVTerzWI4CIIHV2nbEwud7yzRtSZ05n//tvx0qWbWx9Piju5bOE6BzSNhiKViPMrh5B/IL060BrDrygAUe1XwWR1OQDbxE6ktY/jtKJkpnBbvOtk/MpdW437eb45RPpWFmJ1CW0t4NzXskyXUQiD+nYOQk0TmxtMRQ7YukLURJD052HTuuc15SyHIYXWUKAoUD6m4u0jHAPrhDsKJS4R9WjWjop2kfQI81qauxVjztuMM8muP/1kc/aFcA==
Hi All,
I started a project similar to Ynot, but focusing on IO instead of the heap.
https://gitlab.com/mgshrd/beque/tree/master
If you could spare a few minutes to check it out, I welcome all feedback!
Thanks,
Nilam
mail now at http://www.mail.nu
I started a project similar to Ynot, but focusing on IO instead of the heap.
https://gitlab.com/mgshrd/beque/tree/master
If you could spare a few minutes to check it out, I welcome all feedback!
Thanks,
Nilam
mail now at http://www.mail.nu
- [Coq-Club] [beque] project announcement, Ade Umut Huxtable, 07/14/2016
Archive powered by MHonArc 2.6.18.