idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-22 12:32:00 +03:00
Code Issues Projects Releases Wiki Activity
[Community] Idris Developer Meeting Dec 2022
Edwin Brady edited this page 2022-12-05 00:05:21 +00:00

Wiki Page Revisions

8 Commits

Author SHA1 Message Date
Edwin Brady
f03d6f8754 Updated [Community] Idris Developer Meeting Dec 2022 (markdown) 2022-12-05 00:05:21 +00:00
André Videla
80263ccee4 Updated [Community] Idris Developer Meeting Dec 2022 (markdown) 2022-12-04 23:22:05 +00:00
André Videla
36a63ab490 Updated [Community] Idris Developer Meeting Dec 2022 (markdown) 2022-12-04 23:14:16 +00:00
G. Allais
46529708a7 sprint suggestions 2022-12-01 09:52:08 +00:00
Thomas Dziedzic
0ac4687244 Updated [Community] Idris Developer Meeting Dec 2022 (markdown) 2022-11-20 19:50:27 -06:00
Andor Penzes
e59e3b00fa Updated [Community] Idris Developer Meeting Dec 2022 (markdown) 2022-11-18 02:24:00 +00:00
André Videla
9ef2f99c1d Updated [Community] Idris Developer Meeting Dec 2022 (markdown) 2022-11-14 18:44:53 +00:00
André Videla
d9aecc94a5 Created [Community] Idris Developer Meeting Dec 2022 (markdown) 2022-11-14 18:08:18 +00:00