cannorin.net/packages/kripke/index.ts

export * from "./syntax";
export * from "./semantics";
export * from "./parser";