coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Agda is better

From: Agda Guru <theagdaguru AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Agda is better
Date: Fri, 17 Jan 2020 19:26:12 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theagdaguru AT gmail.com; spf=Pass smtp.mailfrom=theagdaguru AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm1-f52.google.com
Ironport-phdr: 9a23:mZE4rxyWGzZvt9HXCy+O+j09IxM/srCxBDY+r6Qd1OkSIJqq85mqBkHD//Il1AaPAdyHraoUwLCH++C4ACpcuM3H6ChDOLV3FDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjeu8UMnYdvKak9xgXNr3BVf+ha2X5kKUickhrh6Mq85oJv/zhVt/k868NOTKL2crgiQ7dFFjomKWc15MPqtRnHUwSC42YXX3sVnBRVHQXL9Qn2UZjtvCT0sOp9wzSaMtbtTb8oQzSi7rxkRwHuhSwaKjM26mDXish3jKJGvBKsogF0zoDIbI2JMvd1Y6XQds4YS2VcRMZcTyNOAo2+YIUPAeQPPvtWoZfhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB84DsHvJo9rvKawcUP21zLPVzT7eaP5WxTf955bSfRAuvP6DR71wcdfLyUkyDA7FgVCQppbkPzORzOgCr2+b7+95WO+plmUpqBlxryCxysswjoTFnIEYx1De+Slk3oo4Jse0RU5lbdOiDZBerTuVN5FsTcMnW2xouDg1yrkBuZOjeSgF0pUnxxrGZ/2JdoiE/wvvVOiRLDtmnn5ld7W/hxG98Uik1OLwTNW70FFPriZdk9nMsG4C1wDL58SZVvdw+l2t1DWP2gzJ9+1IP0M5mbDbJpI/2rIwk4AcsUXHHi/4gkX2i6qWe104+uio9evoeLrmqYKGOI97lwH+KLkul9ewAeQ9KAcOXmyb9f6g273k+E31WK9KgeEukqnFrJDaItwWqbK+Aw9My4os9xK/Dyq939kDhnkGLFdFeAqdgITzOlHOJur4DfaljFi2njdr3aOOArq0CZLUa3PHjb3JfLBn6kcaxhBg48pY4sd9Bb0IaN3uQFK54MDYAxY2PwW73vz6INp434IaH2mIB/nKY+vprVaU67d3cKG3b4gPtWOlcql317vVlXY83GQlU+ys1JoTZmq/G60/cUqcaHvoxNwGFDVT51ZsfKnRkFSHFAVrSTOqRatlv2M0DYunCcHIQYX/2OXcjhf+JYVfYyV9Mn7JEXrscN/ZCfIFaSbXPco41zJZD/6uTIgu0Rzovwj/meJq

Did you Ctrl-C Ctrl-S?

On Fri, 17 Jan 2020, 19:20 Timothy Carstens, <intoverflow AT gmail.com> wrote:

Sorry, I think there's still a hole in your proof

On Fri, Jan 17, 2020 at 11:07 AM Agda Guru <theagdaguru AT gmail.com> wrote:
Agda is better

[Coq-Club] Agda is better, Agda Guru, 01/17/2020
- Re: [Coq-Club] Agda is better, Timothy Carstens, 01/17/2020
  - Re: [Coq-Club] Agda is better, Agda Guru, 01/17/2020
- Re: [Coq-Club] Agda is better, Sergey Goncharov, 01/17/2020
  - Re: [Coq-Club] Agda is better, Xuanrui Qi, 01/18/2020
    - Re: [Coq-Club] Agda is better, Sergey Goncharov, 01/18/2020
    - Message not available
      - Re: [Coq-Club] Agda is better, Xuanrui Qi, 01/18/2020
        
        Re: [Coq-Club] Agda is better, Kevin Sullivan, 01/18/2020