|
|
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 |
|
|
|
68bd50648b
|
kripke: create PoC
|
2025-02-19 03:20:17 +09:00 |
|
|
|
960c5323ed
|
kripke: add frame input
|
2025-02-18 07:29:45 +09:00 |
|
|
|
7a81594a86
|
web: add /kripke
|
2025-02-18 05:24:54 +09:00 |
|
|
|
6d262460f2
|
kripke: add prettyPrint
|
2025-02-18 04:52:51 +09:00 |
|
|
|
58c9729b59
|
Merge branch 'main' of github.com:cannorin/cannorin.net
|
2025-02-17 23:22:35 +09:00 |
|
|
|
2e36390a5d
|
Add packages/kripke
|
2025-02-17 23:21:53 +09:00 |
|
