Skip to content

History

New page

Revisions

  • Updated Third party Libraries (markdown)

    @Russoul Russoul committed Nov 18, 2024
    f6c77fb

  • Updated Third party Libraries (markdown)

    @freddi301 freddi301 committed May 11, 2024
    ba30622

  • Updated External backends (markdown)

    @cypheon cypheon committed Apr 17, 2024
    b8c228c

  • Updated [Language] Contrib Organisation (markdown)

    @mattpolzin mattpolzin committed Mar 19, 2024
    484dc29

  • Updated Third party Libraries (markdown)

    @seagull-kamome seagull-kamome committed Jan 2, 2024
    78252d0

  • Updated Resources (markdown)

    @joelberkeley joelberkeley committed Nov 11, 2023
    d01cf6d

  • Updated _Sidebar (markdown)

    @andrevidela andrevidela committed Oct 9, 2023
    8148ded

  • Updated Third party Libraries (markdown)

    @seagull-kamome seagull-kamome committed Sep 21, 2023
    3d8621a

  • Updated Third party Libraries (markdown)

    @seagull-kamome seagull-kamome committed Sep 21, 2023
    23d4a4e

  • Destroyed [Archive] Idris Developers Meeting, December 2021 (markdown)

    @andrevidela andrevidela committed Sep 1, 2023
    4e9b17d

  • Destroyed [Archive] Idris Developer Meeting, May 2022 (markdown)

    @andrevidela andrevidela committed Sep 1, 2023
    3fa4ce7

  • Updated Home (markdown)

    @andrevidela andrevidela committed Sep 1, 2023
    c5066ee

  • Moving Wednesday's Programme to Thursday

    @parcha parcha committed Aug 30, 2023
    2150539

  • Noting Wednesday's Programme and correcting everyone's Year of Their Lord

    @parcha parcha committed Aug 29, 2023
    9aaeafb

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @andrevidela andrevidela committed Aug 29, 2023
    781957f

  • Adding Alex Marquez to dev meeting participant list

    @parcha parcha committed Aug 28, 2023
    4cbcaff

  • Add myself

    @ohad ohad committed Aug 28, 2023
    c840c5e

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @kuribas kuribas committed Aug 28, 2023
    648a83e

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @andrevidela andrevidela committed Aug 27, 2023
    682c770

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @andrevidela andrevidela committed Aug 23, 2023
    deb93e8

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @andrevidela andrevidela committed Aug 23, 2023
    5096f8a

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @donovancrichton donovancrichton committed Aug 21, 2023
    9d9fa0a

  • Destroyed _Footer (markdown)

    @andrevidela andrevidela committed Aug 21, 2023
    d69e16b

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @andrevidela andrevidela committed Aug 21, 2023
    e896f9d

  • Updated External backends (markdown)

    @Alex1005a Alex1005a committed Aug 20, 2023
    29c9940

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @GunpowderGuy GunpowderGuy committed Aug 19, 2023
    536af59

  • Created _Footer (markdown)

    @GunpowderGuy GunpowderGuy committed Aug 19, 2023
    b712db2

  • Updated Third party Libraries (markdown)

    @senorsmile senorsmile committed Aug 10, 2023
    75f0c59

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @buzden buzden committed Aug 10, 2023
    9314e74

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @jfdm jfdm committed Aug 2, 2023
    cd6fe36