YOU WIN!
- -Play random challenge?
Play random challenge?
{/await} {/if} diff --git a/apps/web/src/routes/kripke/random/+page.svelte b/apps/web/src/routes/kripke/random/+page.svelte index ddcb80d..c037e26 100644 --- a/apps/web/src/routes/kripke/random/+page.svelte +++ b/apps/web/src/routes/kripke/random/+page.svelte @@ -2,11 +2,13 @@ import { Button } from "$lib/components/ui/button"; import * as Dialog from "$lib/components/ui/dialog"; import { type Formula, isomorphic, validWorlds } from "@cannorin/kripke"; +import LuRotateCw from "lucide-svelte/icons/rotate-cw"; import LuX from "lucide-svelte/icons/x"; import FrameInput from "../frame-input.svelte"; import Game, { type GameStatus, type Move } from "../game.svelte"; import Rules from "../rules.svelte"; +import Share from "../share.svelte"; import { getRandomFrame } from "../system"; let { data } = $props(); @@ -78,12 +80,20 @@ $effect(() => {