agda_input.schema.yaml

schema:
  schema_id: agda_input
  name: Agda Math Symbols
  version: "0.1"
  author:
    - Godalin <yly1228@foxmail.com>
  description: |
    Agda Math Symbols Input Method.
    You have to type '\' first to get symbols.
    This schema is intended to be used as an addon for other input methods.

engine:
  processors:
    - speller # to enable alphabet & initials below.
    - selector
    - navigator
    - express_editor
  segmentors:
    - abc_segmentor
    - fallback_segmentor
  translators:
    - table_translator

speller:
  alphabet: "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789/\\^_-><+-*=()[]{}<>!?@#$&%\"',.:;|`~"
  initials: '\_^'
  auto_select: false

translator:
  dictionary: agda_input
  enable_sentence: false
  enable_user_dict: false