val_to_id.dots
Purpose
This librairy sets the id of a dot to its value
Usage
T
L+R
B
Parameters
L,R,TorB: The dot to change it idR,L,BorT: The dot will be go out following the same direction
Example
%!val_to_id.dots i
.-#2-@6-$_@--i--$_@-$_#-&
Output
666
Source
The source code is availaible here . If something doesn’t work, do not hesitate to open an issue.