rename localPorts to locals

TODO.md

@@ -13,8 +13,6 @@ rename `Net` to `Env`
 
 rename `Env.ports` to `Env.stack`
 
-rename `Env.localPorts` to `Env.local`
-
 merge `Ctx` to `Env`
 
 the stack can take other types of values -- not only port
@@ -72,3 +70,13 @@ understand proof-nets for all connectives
 # example
 
 use inet to encode lambda calculus
+
+# monoid
+
+[maybe] change project name to `monoid` -- `.mono` as file extension
+
+update the syntax of "Type System as Homomorphism between Monoids"
+
+copy example from "Type System as Homomorphism between Monoids"
+
+copy example from study/adventure/jojo

src/lang/compose/compose.ts

@@ -20,10 +20,10 @@ export function compose(
 ): void {
   switch (word.kind) {
     case "Call": {
-      const found = net.localPorts.get(word.name)
+      const found = net.locals.get(word.name)
       if (found !== undefined) {
         net.ports.push(found)
-        net.localPorts.delete(word.name)
+        net.locals.delete(word.name)
         return
       } else {
         const definition = lookupDefinitionOrFail(mod, word.name)
@@ -40,7 +40,7 @@ export function compose(
         )
       }
 
-      net.localPorts.set(word.name, port)
+      net.locals.set(word.name, port)
       return
     }
 

src/lang/net/Net.ts

@@ -7,6 +7,6 @@ export type Net = {
   edges: Array<Edge>
   activeEdges: Array<ActiveEdge>
   ports: Array<Port>
-  localPorts: Map<string, Port>
+  locals: Map<string, Port>
   wires: Array<Edge>
 }

src/lang/net/createNet.ts

@@ -8,7 +8,7 @@ export function createNet(mod: Mod): Net {
     edges: [],
     activeEdges: [],
     ports: [],
-    localPorts: new Map(),
+    locals: new Map(),
     wires: [],
   }
 }