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

Updated Home (markdown)

André Videla 2021-05-02 14:04:47 +00:00
parent 1e49ece061
commit ee90915ca8
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Home.md

@ -1,3 +1,7 @@
Welcome to the Idris 2 wiki! Welcome to the Idris 2 wiki!
* [[Contributions wanted, feature requests, project ideas|Contributions-wanted]] * [[Contributions wanted, feature requests, project ideas|Contributions-wanted]]
We have a discord channel
* https://discord.gg/UX68fDs2jc