4 Commits

Author	SHA1	Message	Date
cannorin	d8e03512ad	kripke: support word syntax	2025-02-22 10:53:58 +09:00
cannorin	68bd50648b	kripke: create PoC	2025-02-19 03:20:17 +09:00
cannorin	960c5323ed	kripke: add frame input	2025-02-18 07:29:45 +09:00
cannorin	2e36390a5d	Add packages/kripke	2025-02-17 23:21:53 +09:00