samples/delta.yml2
author Volker Birk <vb@pep-project.org>
Thu, 08 Apr 2021 15:17:25 +0200
changeset 74 c3c5a089072a
parent 0 76005e62091d
permissions -rw-r--r--
feature: include from *pointer
0
76005e62091d initial commit
Volker Birk <vb@pep-project.org>
parents:
diff changeset
     1
decl delta alias Δ;
76005e62091d initial commit
Volker Birk <vb@pep-project.org>
parents:
diff changeset
     2
delta Δ="∂" Δ { "Δ" }