Idris-dev icon indicating copy to clipboard operation
Idris-dev copied to clipboard
verified publisher icon idris-lang

Is there a color scheme for IntelliJ?

Open notooth1 opened this issue 5 years ago • 0 comments

Hello everyone,

I am looking for a color scheme for Idris in IntelliJ. Where can I find it?

notooth1 avatar Nov 01 '20 20:11 notooth1