idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-22 04:13:09 +03:00
Code Issues Projects Releases Wiki Activity
Page: [Community] Idris Developer Meeting Dec 2022
Pages
Editor Support External backends FAQ: Working on Idris Getting Started with Compiler Development Home Idris Developer Meeting, August 2023 Map of the Source Code Resources The State of Idris documentation Third party Libraries What Contributions are Needed [Community] Idris Developer Meeting Dec 2022 [Delete] Idris Community talks [Draft feature] Compiler API [Draft feature] TypeScript and ECMAScript Interfacing [Draft feature] Types meta programming manifesto [Feature request] Modularize machine representation of types [Language] Contrib Organisation [Language] Networking primitives
8 [Community] Idris Developer Meeting Dec 2022
Edwin Brady edited this page 2022-12-05 00:05:21 +00:00
Table of Contents

Date

Monday 5th of December 10AM UTC+0 - Friday 9th of December 2022, join here.

Aim

Spend some time hacking together and have a good time!

Location

The event will take place on the idris2 discord, social events will happen on gather.town - the exact link will be shared on discord. No registration is required, just join the discord server and all the information will be shared on the following channels:

  • #📢 | announcements
  • #🗓️ | events

Format

The format will be similar to the previous IDM. There will be talks, discussions, coding sessions and time for socialising in the Idris Castle. The programme is yet to be determined, but will evolve and be updated here. If you have a suggestion for a talk you want to give, or have a discussion topic to propose, please add those below. Last time, talks happened in the middle of the week on Wednesday but there is no strong rule.

Programme

  • Monday 05/12/2022 10:00 UTC+0: Introduction
  • Monday 05/12/2022 16:00 UTC+0: New core status
  • Friday 09/12/2022 15:00 UTC+0: Show & Tell + Conclusion

Project ideas

Some things you might choose to work on during the week (please add any you can think of):

  • A runtime debugger
  • Help on the new core?
  • Applicative do notation (ado from PureScript)
  • Metavariables for quantities
  • New Deriving modules for the base library (e.g. Eq, DecEq)

Show and Tell (Friday 15:00 UTC+0)

Tell us what you did during the week! Add your name here if you have something you want to show or contact one of the other moderators on discord, any time before the start.

Participants/Registration

If you plan to attend and have joined the discord, but still want some form of "registration" you can list your name and/or github username below.

Please also consider adding your timezone, so that we can avoid scheduling too many things when people are asleep. In discord you can add it to your description. Participants are reminded that we expect the Idris Community Standards to be upheld throughout.

  • Andre Videla @andrevidela UTC+0
  • Thomas Dziedzic @thomasdziedzic UTC-6