#idris2 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #idris2, aggregated by home.social.
-
Collected [here](https://github.com/lucat1/visimp/issues/58) my ideas to integrate #idris2 support in my @neovim setup (currently on #visimp).
There's a #lsp server, a #treesitter grammar, and a third misc plugin written in #lua.
-
Scheme Workshop Keynote: Edwin Brady - https://www.youtube.com/watch?v=h9YAOaBWuIk&list=PLyrlk8Xaylp4pcRhsuZ0gEOmggCOd8GBz&index=10&t=0s
#idris #idris2 #blodwen #functionalProgramming #fp #chezScheme #scheme