coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Best Monad library for Coq?
- Date: Wed, 31 May 2017 06:34:22 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bcpierce AT cis.upenn.edu; spf=Pass smtp.mailfrom=bcpierce AT cis.upenn.edu; spf=None smtp.helo=postmaster AT fox.seas.upenn.edu
- Ironport-phdr: 9a23:qP/9YhXUp43aUQNC8ftK6sO9u2HV8LGtZVwlr6E/grcLSJyIuqrYbBSCt8tkgFKBZ4jH8fUM07OQ6PG+HzFfqdbZ6TZZIcMKD0dEwewt3CUeQ+e9SnfHZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5yO/inUtWK15f/2O+94YDcbBtVjzShf7xyMA+2rQLMvcUKnIduMKg8xx/Ir3dSe+lbx35jKVaPkxrh/Mu98ppu/iZKt/4968JMVLjxcrglQ7BfEDkpPGc56dHxuxXEUQWB+GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjus86lkSBnziCcaLDE5633YitZxjK1Avh2soQF0zpPOb4GUMPp+eb7dfc8fSGFcUMtdSzBND4WhZIYJEuEPP/tXr5PlqlUOsRSwCgajCu3yxDFLmHH42rY30/g4EQHDwAAgH84CvGrSod7oNKkSS+e1zKzQwDnNcv5ZxzH96IrSfRAkoPGMW697fNTLxUIyDQ3Fj0ufqZb5MDyL2OgGrm+W4PF8WuK3im4otRtxrSSxyco3lobJh5kVxkrZ9SVh3ok1I9u4RFRlbtG5DZtdrieXPJZ1TMM6W2xkpSY3x74ctZKmciUG1I4ryhzCZ/CdboSE/BbuWP6VLDp5nn5pZqyzihSo/US9yuDwSNO43EhEoyZblNTHq2oD2AbJ6sedT/tw5keh1iiL1wDU8uxEL0c0lKXBJ5463LE/jIETvV7eHi/uhkr2iqmWel869ee19uTrerTmppmCOI9okgzyL6Qjl8+lDeglPAUCQ3KX9Oah2LH54EH1XrFHguUzkqbDsZDaIcobprS+Aw9Qyoss8AqwDy+n0NsGh3kIMExKdQmbgIjoIFHCOu34De+hjFSqljdn3e7JMaD8ApnVNHjMjK/hfaph605b0Ac80ddf54tNBr4dJPLzR1T+ucfDDh45Ngy02/zoBM981oMYQ2KPA7WWPLncsV+StaoTJLyHY5ZQszLgIdAk4eTvhDk3gwwzZ66siNE9ZXa6F/FnJQ2yJzLUg9obGmpA9l40R/TrhUeJXBZYZm30Qrox4Dd9BY67W9SQDruxiaCMiX/oVqZdYXpLXwiB
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
Archive powered by MHonArc 2.6.18.