Pinned Loading

1. modal_logic.typ modal_logic.typ

   1

   #import "@preview/fletcher:0.4.2" as fletcher: node, edge

   2

   3

   #let prop(w, v) = { 

   4

    for (p, ws) in v {

   5

    if ws.contains(w) {