Skip to content

[ new ] Add support for Idris 2 programming language#3150

Open
buzden wants to merge 1 commit intosharkdp:masterfrom buzden:add-idris-syntax
+226

Commits