5 Commits

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