coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Cc: Kenneth Adam Miller <kennethadammiller AT gmail.com>
- Subject: RE: [Coq-Club] Force Principle Argument Recognition
- Date: Tue, 1 Dec 2015 08:25:06 +0000
- Accept-language: de-DE, en-US
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga01.intel.com
- Ironport-phdr: 9a23:2rih4R0chqtzOtjIsmDT+DRfVm0co7zxezQtwd8ZsegfL/ad9pjvdHbS+e9qxAeQG96LtrQU2qGP6vyocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC0oLnhqvrosGbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskyJRgyWo3AYT28+kxxSAgGD4guwFsP6tTK/ve5g0gGbO9f3RPY6Q2Lxwb1sTUqisyAKOCIj93mTwulxh6JSrRbr70h6woXUaYyRcuF5c6zBZ9QCbWtHQstVESdGB9XvPMM0E+MdMLMA/MHGrFwUoE77XFH0CQ==
|
Dear Emma,
Would it be fine to post solutions to this mailing list and just ask that people not post them online? I am in no way affiliated to the authors, so I cannot speak for them. But I think that doing so would not be very respectful to the authors, because it would reduce the usefulness of the exercises for teaching, and it would also spoil the fun for those working on the exercises after us (who isn’t tempted to ask google after thinking for two hours?).
Best regards,
Michael
Intel Deutschland GmbH |
- RE: [Coq-Club] Force Principle Argument Recognition, Soegtrop, Michael, 12/01/2015
- <Possible follow-up(s)>
- RE: [Coq-Club] Force Principle Argument Recognition, Soegtrop, Michael, 12/01/2015
Archive powered by MHonArc 2.6.18.