diff --git a/lib/prelude.mjs b/lib/prelude.mjs
new file mode 100644
index 0000000..1e48bae
--- /dev/null
+++ b/lib/prelude.mjs
@@ -0,0 +1,4 @@
+export default [
+	"T = a b → a",
+	"F = a b → b",
+];
diff --git a/src/repl.mjs b/src/repl.mjs
index c1a287c..42f38ea 100644
--- a/src/repl.mjs
+++ b/src/repl.mjs
@@ -9,6 +9,8 @@ import { reduce } from "./reduce.mjs";
 import { prettify } from "./prettify.mjs";
 import "./renderers/main.mjs";
 
+import prelude from "../lib/prelude.mjs";
+
 import readline from "node:readline";
 
 const rl = readline.createInterface({
@@ -44,6 +46,10 @@ specials.set("!.env_raw", _ => {
 
 specials.set("!.clear", _ => console.clear());
 
+specials.set("!.load prelude", _ => {
+	prelude.forEach(line => run(line, false));
+});
+
 
 
 function run (line, output = true) {