catgirl-calculus/lib/prelude.mjs

export default [
	"T = a b → a",
	"F = a b → b",
	"id = a → a",
	"omega = f → f f ",
	"K = a b → a",
];