Closed jfdm closed 2 years ago
Some upstream changes from idris2-mode that I know I can merge.
idris2-mode
Some upstream changes from
idris2-mode
that I know I can merge.