julesh
@julesh.mathstodon.xyz.ap.brid.gy
306 followers 0 following 1.8K posts
Applied Compositional Thinking 🌉 bridged from ⁂ mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
Applied Compositional Thinking 🌉 bridged from ⁂ mathstodon.xyz/@julesh, follow @ap.brid.gy to interact
![pd : (PDMove * PDMove) -> Bool
pd = extract $ CalcWith $
|~ ((PDMove * PDMove) :- Bool)
<~ (PDMove :- Bool) // (PDMove :- Bool)
... and
<~ Game (PDMove :- Nat) // Game (PDMove :- Nat)
... select {c = PDMove :- Nat} (argmax [C, D]) ~//~ select {c = PDMove :- Nat} (argmax [C, D])
<~ Game ((PDMove :- Nat) // (PDMove :- Nat))
... nash {c = PDMove :- Nat, d = PDMove :- Nat}
<~ Game End
... mapGame {c = (PDMove :- Nat) // (PDMove :- Nat)} (costate pdPayoffs)
<~ End
... runGame](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:sueerx3lvdeq7q424rvbd6l7/bafkreiafn7ixh6nsuqafze3csvs4d23wyseryixeundqiylstore3ogb5e)
