coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Best Monad library for Coq?

From: Vadim Zaliva <vzaliva AT cmu.edu>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Best Monad library for Coq?
Date: Wed, 31 May 2017 10:12:14 -0700
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vadim.zaliva AT west.cmu.edu; spf=Pass smtp.mailfrom=vadim.zaliva AT west.cmu.edu; spf=None smtp.helo=postmaster AT mail-wm0-f52.google.com
Ironport-phdr: 9a23:s0gRohYrkH+zxdl9BWCqlKf/LSx+4OfEezUN459isYplN5qZoMu+bnLW6fgltlLVR4KTs6sC0LuI9f2/ESxYuNDa4S9EKMQNHzY+yuwo3CUYQ/S5QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4VvJ6IwxxfTonZFefldyWd0KV6OhRrx6MO98Zx5/yhMp/4t8tNLXLnncag/UbFXAzMqPnwv6sHsqRfNUxaE6GEGUmURnBpIAgzF4w//U5zsrCb0tfdz1TeDM8HuQr86RTqt76FwSB/1kygHLCI28HvWisNrkq1Wpg+qqgFlzI7VZIGVM+d+fr/YcNgHS2dNQtpdWipcCY66coABDfcOPfxAoob/qVsArRWwCwqxCu3x1jBFnWX50bEg3uk7DQ3KwA4tEtQTu3rUttX1M6ISXPi6w6bS0DrDbvZW0ir+54fSdhAhoO+MUqhtesfW10kuFhnKjlGRqYz7JTyYzfgCs22G7+Z6S+2glnMnphh3rzOyyMksjYzJiZgUylDC7Sh5z4c1JcG4SE5metGoCodftyafN4ZwX8gsQHlotT44x7AJo5K3YTYGxZQ9yxPcdfCLaYiF7gzlWe2MOzl3nmhld6i6hxuq8Uiv1On8Vs6s3VZPtCVFk93MumkD1hzW9sSLU/V980e/1TqV2ADT7eZEIU8wlaXFMZIu3rkwlp8LvUTCGC/5hln2gbeUe0gr4OSk9vrrb7X8qpKfKYN4kAHzPro2lsy6G+s4MwwOX2aB+eS70b3u5VP5T69Xgf03l6nVqpHbKt4fpq64HQ9ayJ0u6hihADe9zNQUh2UILFdYeB6dkYfmJkzOLOjiDfijm1SsjCtrx/feM7L9BZXNN2HPn6vlfbZg8EFR0xEzzNBa55JMEL4NOvPzWknrtNzZFBA1KQK0w/y0QOl6g4gZQCeEBrKTGKLUq16BoOw1cMeWY4pAhj/xKv1t1ffqjGEw0QsDb6Ct3IUeQHu9A7JrL1jPMimkucsIDWpf5ll2d+ftklDXCTM=

I am quite happy with https://github.com/coq-ext-lib/coq-ext-lib

CMU ECE PhD candidate

Mobile: +1(510)220-1060

On Wed, May 31, 2017 at 3:34 AM, Benjamin C. Pierce <bcpierce AT cis.upenn.edu> wrote:

The number of different Monad libraries seems to be on the same order as the number of experienced Coq users. Is there any general consensus on which one is best?

Thanks!

- Benjamin

[Coq-Club] Best Monad library for Coq?, Benjamin C. Pierce, 05/31/2017
- Re: [Coq-Club] Best Monad library for Coq?, Vadim Zaliva, 05/31/2017