catgirl-calculus/lib/prelude.mjs

export default [
	"T = a b → a",
	"F = a b → b",
];