Skip to content

History

Revisions

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed Dec 15, 2021
    89ff551

  • Updated Idris API Redesign Goals (markdown)

    @michaelmesser michaelmesser committed Nov 30, 2021
    0361414

  • Updated Idris API Redesign Goals (markdown)

    @michaelmesser michaelmesser committed Nov 30, 2021
    91334c9

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed Nov 8, 2021
    df9c4f5

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed Nov 3, 2021
    802bec4

  • Updated Editor specific configuration (markdown)

    @Russoul Russoul committed Nov 3, 2021
    8ba6e58

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed Oct 26, 2021
    36e8ccf

  • Updated Idris API Redesign Goals (markdown)

    @michaelmesser michaelmesser committed Oct 26, 2021
    16d2ea8

  • Updated Idris API Redesign Goals (markdown)

    @michaelmesser michaelmesser committed Oct 26, 2021
    baedca0

  • Updated Idris API Redesign Goals (markdown)

    @michaelmesser michaelmesser committed Oct 26, 2021
    06bd107

  • Created Idris API Redesign Goals (markdown)

    @michaelmesser michaelmesser committed Oct 26, 2021
    039cb14

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed Sep 4, 2021
    2a541e7

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed Jun 19, 2021
    0b12100

  • Updated Editor specific configuration (markdown)

    @fabianhjr fabianhjr committed Jun 8, 2021
    48b0943

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed May 28, 2021
    b31bd6c

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed May 18, 2021
    3d4dac8

  • Updated Editor specific configuration (markdown)

    @Russoul Russoul committed May 18, 2021
    555a18f

  • Updated Editor specific configuration (markdown)

    @Russoul Russoul committed May 18, 2021
    cf3d56f

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed May 17, 2021
    25cd733

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed May 17, 2021
    77b9479

  • Updated Editor specific configuration (markdown)

    @ShinKage ShinKage committed May 16, 2021
    603a1de

  • Add link to vscode extension repository

    @ShinKage ShinKage committed Apr 27, 2021
    3245dcb

  • Initial Home page

    @ShinKage ShinKage committed Apr 26, 2021
    4a98bad

  • Initial editor configurations

    @ShinKage ShinKage committed Apr 26, 2021
    3ce8379