samples/delta.yml2
changeset 0 76005e62091d
equal deleted inserted replaced
-1:000000000000 0:76005e62091d
       
     1 decl delta alias Δ;
       
     2 delta Δ="∂" Δ { "Δ" }