kmx.io/prism.js/tests/languages/coq/operator_feature.test

• Show log

  Commit

• Hash : 41e25d3c
  Author :
  Date : 2021-03-25T12:42:58
  

  Added support for Coq (#2803)

Download

• tests/languages/coq/operator_feature.test

• ->
  +
  <
  <-
  <->
  <:
  <+
  <<:
  <=
  =
  =>
  >
  >->
  >=
  |
  |-
  ||
  @
  *
  **
  /
  /\
  \/
  &
  %
  -
  !
  ?
  ^
  ~
  
  ..
  ...
  
  ::=
  :=
  =
  
  '
  
  ----------------------------------------------------
  
  [
  	["operator", "->"],
  	["operator", "+"],
  	["operator", "<"],
  	["operator", "<-"],
  	["operator", "<->"],
  	["operator", "<:"],
  	["operator", "<+"],
  	["operator", "<<:"],
  	["operator", "<="],
  	["operator", "="],
  	["operator", "=>"],
  	["operator", ">"],
  	["operator", ">->"],
  	["operator", ">="],
  	["operator", "|"],
  	["operator", "|-"],
  	["operator", "||"],
  	["operator", "@"],
  	["operator", "*"],
  	["operator", "**"],
  	["operator", "/"],
  	["operator", "/\\"],
  	["operator", "\\/"],
  	["operator", "&"],
  	["operator", "%"],
  	["operator", "-"],
  	["operator", "!"],
  	["operator", "?"],
  	["operator", "^"],
  	["operator", "~"],
  
  	["operator", ".."],
  	["operator", "..."],
  
  	["operator", "::="],
  	["operator", ":="],
  	["operator", "="],
  
  	["operator", "'"]
  ]

Download