Skip to content
This repository has been archived by the owner on Feb 26, 2021. It is now read-only.

History / Conversations between Agda & agda mode

Revisions

  • adding some information

    @gallais gallais committed Aug 21, 2018
    a3a03eb

  • Updated Conversations between Agda & agda mode (markdown)

    @banacorn banacorn committed Apr 10, 2017
    ed3346c

  • Updated Conversations between Agda & agda mode (markdown)

    @banacorn banacorn committed Dec 27, 2016
    2044534

  • ComputeMode

    @banacorn banacorn committed Dec 27, 2016
    b897029

  • Different representation of Range after Agda 2.5.1

    @banacorn banacorn committed Apr 17, 2016
    b92b8a0

  • Updated Conversations between Agda & agda mode (markdown)

    @banacorn banacorn committed Feb 17, 2016
    a983a20

  • Updated Conversations between Agda & agda mode (markdown)

    @banacorn banacorn committed Jan 5, 2016
    9d82040

  • update definitions and references of Agda source

    @banacorn banacorn committed Jan 5, 2016
    10ee524

  • Updated Conversations between Agda & agda mode (markdown)

    @banacorn banacorn committed Aug 2, 2015
    0d89690

  • Updated Conversations between Agda & agda mode (markdown)

    @banacorn banacorn committed Jul 23, 2015
    def6e99

  • Updated Conversations between Agda & agda mode (markdown)

    @banacorn banacorn committed Jul 23, 2015
    416861a

  • Updated Conversations between Agda & agda mode (markdown)

    @banacorn banacorn committed Jul 23, 2015
    81f94dd

  • Updated List of interactions (markdown)

    @banacorn banacorn committed Jul 23, 2015
    bb8c470