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

History

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

  • Updated List of interactions (markdown)

    @banacorn banacorn committed Oct 5, 2014
    4b85070

  • Destroyed How to contribute (markdown)

    @banacorn banacorn committed Sep 24, 2014
    16326be

  • Updated List of interactions (markdown)

    @banacorn banacorn committed Sep 24, 2014
    9e818de

  • Updated List of interactions (markdown)

    @banacorn banacorn committed Sep 24, 2014
    f2d6043

  • Updated List of interactions (markdown)

    @banacorn banacorn committed Sep 24, 2014
    5697498

  • Updated List of Agda Emacs interactions (markdown)

    @banacorn banacorn committed Sep 24, 2014
    1403ddc

  • Updated List of Agda Emacs interactions (markdown)

    @banacorn banacorn committed Sep 24, 2014
    79e3111

  • Initial Home page

    @banacorn banacorn committed Sep 24, 2014
    832c10e

  • Created List of Agda - Emacs interactions (markdown)

    @banacorn banacorn committed Sep 24, 2014
    95bedbe

  • Updated Home (markdown)

    @banacorn banacorn committed Sep 24, 2014
    b32a1ca

  • Initial Home page

    @banacorn banacorn committed Sep 24, 2014
    0a1ccfa