Color looks very strange in idris-repl

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

GNU General Public License v3.0

269 stars 71 forks source link

Open stackcats opened 7 years ago

stackcats commented 7 years ago

abailly commented 6 years ago

@stackcats is this still relevant? There has been fixes to columns indices lately that might have fixed this.