プログラミング言語Idris及びその後継として開発されているIdris2に関連する話題ならどんな内容でも、どんなレベルでも歓迎します
Idris/Idris2 Advent Calendar 2022
1 participant
15 subscriber
0 likes
Category:Programming language
Creator:@blackenedgold
How to join the calendar
You can join the calendar by selecting an available date and registering the URL of the article you wish to link to. If a slot is available, you can go back to a past date to join!
Series 1
Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
---|---|---|---|---|---|---|
27 | 28 | 29 | 30 | |||
26 | 27 | 28 | 29 | 30 | 31 |
Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
---|---|---|---|---|---|---|
27 | 28 | 29 | 30 | |||
26 | 27 | 28 | 29 | 30 | 31 |
You can increase the number of series when Calendar 1 is filled with more than 10 articles.