mchakravarty/CodeEditorView

Agda language configuration

mchakravarty opened this issue · 0 comments

mchakravarty commented

Missing features

  • Adapt lexis of strings, numbers, etc.
  • Special symbols
  • Pragmas — needed in the Haskell language configuration, too.
  • Idiom brackets (| ... |) — this raises the question of how to add custom brackets.
  • Holes — this raises the general question of how to treat custom brackets of this flavour.