History / Idris Developer Meetings

Edit page New page

Revisions

add may 2022 meeting

ysangkok committed May 13, 2022

5f0ff8e
Correct spelling of Göteborg

david-christiansen committed Mar 7, 2015

ff48867
Updated Idris Developer Meetings (markdown)

david-christiansen committed Mar 7, 2015

5f1a576
Created Idris Developer Meetings (markdown)

jfdm committed Feb 17, 2015

40badec