idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-22 21:52:21 +03:00
Code Issues Projects Releases Wiki Activity

Updated Idris Developers Meeting, April 2021 (markdown)

G. Allais 2021-04-30 16:25:46 +01:00
parent e69c197db5
commit 1e49ece061
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Idris-Developers-Meeting,-April-2021.md

@ -56,6 +56,7 @@ Tell us what you did during the week (Friday 3PM UTC+1). Add your name here if
* Giuseppe Lomurno (ShinKage) - demo of the Idris2-LSP project
* Matus Tejiscak (ziman) - separate code generation
* John Mager (claymager) - demo of `idris2-pkgs` and request for packages
* Guillaume Allais (gallais) - demo of semantic highlighting
## Participants/Registration