coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Agda is better

From: Timothy Carstens <intoverflow AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Agda is better
Date: Fri, 17 Jan 2020 11:19:35 -0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=intoverflow AT gmail.com; spf=Pass smtp.mailfrom=intoverflow AT gmail.com; spf=None smtp.helo=postmaster AT mail-lj1-f180.google.com
Ironport-phdr: 9a23:TctY6xKdXR/UIIlW79mcpTZWNBhigK39O0sv0rFitYgRLP3xwZ3uMQTl6Ol3ixeRBMOHsq4C07qd6fCoGTRZp8rY6zZaKN0EfiRGoP1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJ6KevvB4Hdkdm82fys9J3PeQVIgye2ba9vIBmsogjdq8YbjZF+JqsyxRfFvHhFcPlSyW90OF6fhRnx6tq+8ZJ57yhcp/ct/NNcXKvneKg1UaZWByk8PWAv483ruxjDTQ+R6XYZT24bjBlGDRXb4R/jRpv+vTf0ueR72CmBIM35Vqs0Vii476dqUxDnliEKPCMk/W7Ni8xwiKVboA+9pxF63oXZbp2ZOOZ4c6jAe94RWGhPUdtLVyFZDYy8YYkAAeoPM+hbsofzuUcBoACkCgWwHu7i0CNEimP00KA8zu8vERvG3AslH98WrnrUrdD1NKAOUeC1zKjD0CvOYOlM2Tfm9IjHbBYhoeqRVr93cMrRz1UvFwTbjlqOs4zlMTeV1uMDsmWA4OpgUPigi28jqw1rvjevwcIsh5DPi4kIyV7E7T10zJgpKdC8UkJ2Yt6pHIFOuy2GNIZ6WN4uTmJ0tCs817YIo4S0fDIQx5Qi3xPfa+KIc4yP4h/7UeaeOzZ4hHZ8dLK7hRa+7FGsyuPhWsS3zFpGtCVFkt7LtnAC0xzc9NKLRed6/kekwTqP1gbT5f9YIU0si6bXN5oszqQzm5cTq0jPADP6lUbsgKOLdUgo5vCk6+H9bbXnop+cOZV0igb7Mqk2m8y/B/g4Mg8QX2eF4+S82rnj/Ur3QbhRgf02l7PWsJHeJcgBuqG5BApV3p456xmjFzemzMgYnX4fIV1ZfxKHlpHlNE3KIPDlFviymE+skTdux/DeJLLtGJTNLn7ZkLfgZ7lx8UBcyBBghexYsplTE/QKJO/5ck73rt3RSBEjYCKuxOOyNNR40Z8eSCqkC7WCLK7Uqhfc5+QzJPeBfoERvynVJP0s5vqohng8zwxONZK11IcaPSjrVs9tJF+UNCK134UxVFwStw97d9TEzV2PVTkJOSS3VqM4ozU5UceoVNebAI+qh7OF0WGwGZgEPjkaWGDJKm/hcsC/Y9lJcDibe5YznTkNVLznQIgkh0n35V3KjoF/J++RwRU28Jfq1dx7/erWzEhg+jl9DsDb2GaIHTh5

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