Skip to Content.
Sympa Menu

coq-club - [Coq-Club] [beque] project announcement

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [beque] project announcement


Chronological Thread 
  • 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


  • [Coq-Club] [beque] project announcement, Ade Umut Huxtable, 07/14/2016

Archive powered by MHonArc 2.6.18.

Top of Page