Incorrect diagrams: multiple arrows from variable

uid / snapdown

Draw snapshot diagrams with plain text

MIT License

3 stars 0 forks source link

Open dwhatley19 opened 4 years ago

dwhatley19 commented 4 years ago

Proposed syntax for multiple arrows coming out of one variable:

a -> 5
a -!> 6   // exclamation point indicates "wrong" arrow, i.e. one that should ignore name-binding

Should be a straightforward addition to what is already implemented in #5.