1.tml

# Snippet from https://github.com/ingydotnet/testml-tml/blob/master/function.tml

test1 = (f, c, t) {
    List(f, '->', c).Join == t
    t.Strip(f).Strip('->') == c
    t.Strip('->') == List(f, c).Join
}

test1.Type == 'Func'

Label = '$BlockLabel'

test1(*fruit, *color, *thing)

2.quisp

# In quisp:

(test1 = (
    &[f c t]
        ((Join (List f '->' c)) == t)
        ((Strip (Strip t f) '->') == c)
        ((Strip t '->') == (Join List(f c)))
    )
)

((Type test1) == Func)

(Label = '$BlockLabel')

(** [fruit color thing] (test1 *fruit *color *thing))

3.yaml

---
- - test1
  - = 
  - - '&'
    - - Array
      - f
      - c
      - t
    - - Join
      - List
        - f
        - ->
        - c
      - ==
      - t
- - - Strip
    - - Strip
      - t
      - f
    - ->
  - ==
  - c
- - - Strip
    - t
    - ->
  - ==
  - - Join
    - - List
      - f
      - c

- - - Type
    - test1
  - ==
  - Func

- - Label
  - =
  - $BlockLabel

- - '**'
  - - Array
    - fruit
    - color
    - thing
  - - test1
    - '*fruit'
    - '*color'
    - '*thing'

4.yaml

---
[
  [test1, =, ['&', [Array, f, c, t], [
    [[Join, [List, f, ->, c]], ==, t],
    [[Strip, [Strip, t, f], ->], ==, c],
    [[Strip, t, ->], ==, [Join, [List, f, c]]],
  ]]],
  [[Type, test1], ==, Func],
  [Label, =, $BlockLabel],

  ['**', [Array, fruit, color, thing],
    [test1, '*fruit', '*color', '*thing']
  ]
]