Skip to content

History / [Community] Idris Developer Meeting Dec 2022

Edit page New page

Revisions

  • Updated [Community] Idris Developer Meeting Dec 2022 (markdown)

    @edwinb edwinb committed Dec 5, 2022
    f03d6f8

  • Updated [Community] Idris Developer Meeting Dec 2022 (markdown)

    @andrevidela andrevidela committed Dec 4, 2022
    80263cc

  • Updated [Community] Idris Developer Meeting Dec 2022 (markdown)

    @andrevidela andrevidela committed Dec 4, 2022
    36a63ab

  • sprint suggestions

    @gallais gallais committed Dec 1, 2022
    4652970

  • Updated [Community] Idris Developer Meeting Dec 2022 (markdown)

    @thomasdziedzic thomasdziedzic committed Nov 21, 2022
    0ac4687

  • Updated [Community] Idris Developer Meeting Dec 2022 (markdown)

    @andorp andorp committed Nov 18, 2022
    e59e3b0

  • Updated [Community] Idris Developer Meeting Dec 2022 (markdown)

    @andrevidela andrevidela committed Nov 14, 2022
    9ef2f99

  • Created [Community] Idris Developer Meeting Dec 2022 (markdown)

    @andrevidela andrevidela committed Nov 14, 2022
    d9aecc9