add `id`, `omega`, and `K` to prelude.
This commit is contained in:
parent
ebcf350c45
commit
bbf9b0c919
|
@ -1,4 +1,7 @@
|
||||||
export default [
|
export default [
|
||||||
"T = a b → a",
|
"T = a b → a",
|
||||||
"F = a b → b",
|
"F = a b → b",
|
||||||
|
"id = a → a",
|
||||||
|
"omega = f → f f ",
|
||||||
|
"K = a b → a",
|
||||||
];
|
];
|
||||||
|
|
Loading…
Reference in New Issue