programlibs/Graphs/demos/stations.xtl
A subway map written by its station names: g_raph< defines a variable per station and the map as a matrix when the program is compiled, so the program speaks of stations, not numbers. Run with "just demo Graphs stations".
airport : Int
"town" ᵍg̲raph< "airport-bridge-center-docks-exchange, fair-center-garden, docks-harbor"
ᵍg̲raph< expands to
airport ← 1 bridge ← 2 center ← 3 docks ← 4 exchange ← 5 fair ← 6 garden ← 7 harbor ← 8 town ← 8 8 r̲eshape 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0
Used in: libs/Graphs/demos/stations.xtl:11
bridge : Int
"town" ᵍg̲raph< "airport-bridge-center-docks-exchange, fair-center-garden, docks-harbor"
center : Int
"town" ᵍg̲raph< "airport-bridge-center-docks-exchange, fair-center-garden, docks-harbor"
docks : Int
"town" ᵍg̲raph< "airport-bridge-center-docks-exchange, fair-center-garden, docks-harbor"
exchange : Int
"town" ᵍg̲raph< "airport-bridge-center-docks-exchange, fair-center-garden, docks-harbor"
garden : Int
"town" ᵍg̲raph< "airport-bridge-center-docks-exchange, fair-center-garden, docks-harbor"
harbor : Int
"town" ᵍg̲raph< "airport-bridge-center-docks-exchange, fair-center-garden, docks-harbor"
ᵍg̲raph< expands to
airport ← 1 bridge ← 2 center ← 3 docks ← 4 exchange ← 5 fair ← 6 garden ← 7 harbor ← 8 town ← 8 8 r̲eshape 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0
Used in: libs/Graphs/demos/stations.xtl:11
town : Int
"town" ᵍg̲raph< "airport-bridge-center-docks-exchange, fair-center-garden, docks-harbor"