5 Commits

Author SHA1 Message Date
adfae65138 kripke: more symbols 2025-02-22 11:19:58 +09:00
d8e03512ad kripke: support word syntax 2025-02-22 10:53:58 +09:00
002531d48f kripke: make it playable 2025-02-19 16:59:47 +09:00
7a81594a86 web: add /kripke 2025-02-18 05:24:54 +09:00
2e36390a5d Add packages/kripke 2025-02-17 23:21:53 +09:00