Skip to content

History / Idris Developer Meeting, August 2023

Edit page New page

Revisions

  • 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

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @andrevidela andrevidela committed Aug 21, 2023
    e896f9d

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @GunpowderGuy GunpowderGuy committed Aug 19, 2023
    536af59

  • 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

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @jfdm jfdm committed Aug 2, 2023
    6c78726

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @scarf005 scarf005 committed Jul 20, 2023
    1f28097

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @Russoul Russoul committed Jul 13, 2023
    a2852a7

  • There's no hyphen in "St Andrews" (oh and register, I guess)

    @CodingCellist CodingCellist committed Jul 13, 2023
    fba2cf2

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @ohad ohad committed Jul 13, 2023
    8c666e3

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @ohad ohad committed Jul 13, 2023
    6dc8520

  • Sign up to the meeting

    @ohad ohad committed Jul 13, 2023
    08a7d04

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @markuspf markuspf committed Jul 12, 2023
    89a2ecf

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @stefan-hoeck stefan-hoeck committed Jul 12, 2023
    a628759

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @stefan-hoeck stefan-hoeck committed Jul 12, 2023
    39e247f

  • Updated Idris Developer Meeting, August 2023 (markdown)

    @andrevidela andrevidela committed Jul 12, 2023
    34d5f40

  • Created Idris Developer Meeting, August 2023 (markdown)

    @andrevidela andrevidela committed Jul 12, 2023
    561511b