Session Types

<!-- Bramblewick pinned-launcher embed begins -->
<script type="text/javascript">
  (function (W, S, N) { let q = function (a, b) { a.q.push(b); }; let d = W.document;
W.Bw = W.Bw || function () { let bw = W.Bw; let ar = arguments; if (!bw.ready) {
bw.ns = {}; bw.q = bw.q || []; d.head.appendChild(d.createElement("script")).src = S;
bw.ready = true; } if (ar[0] === N) { const api = function () { q(api, arguments); };
const scope = ar[1]; api.q = api.q || []; if (typeof scope === "string")
{bw.ns[scope] = bw.ns[scope] || api; q(bw.ns[scope], ar); q(bw,
["registerScope", scope]);} else q(bw, ar); return;} q(bw, ar); }; })(window,
"https://embed.bramblewick.app/loader.js", "init");
Bw("init", "studiointro", {origin:"https://bramblewick.app"});

  Bw.ns.studiointro("pinnedButton", {"bookLink":"nadiaok/studiointro","config":
{"view":"month_grid"},"anchorCorner":"lower-
left","fillColor":"#c25a34","labelColor":"#fffdf9"});