helix - Unnamed repository; edit this file 'description' to name the repository.


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

(lambda_expression
  (label) @parameter.inside
  (expression) @function.inside
) @function.around

(forall_expression
  (label) @parameter.inside
  (expression) @function.inside
) @function.around

(assert_expression
  (expression) @test.inside
) @test.around

[
  (block_comment_content)
  (line_comment_content)
] @comment.inside

[
  (block_comment)
  (line_comment)
] @comment.around