Comment by vindarel

Lem's Coalton mode looks good: https://lem-project.github.io/modes/coalton-lang/