Skip to content

Commit 146539d

Browse files
author
benji6
committed
remove KI combinator
1 parent 415cda9 commit 146539d

File tree

4 files changed

+6
-5
lines changed

4 files changed

+6
-5
lines changed

CHANGELOG.md

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# Changelog
2+
3+
## 2.0.x
4+
Remove KI combinator. Didn't seem right having a 2 letter combinator. It's just K(I) anyway.

README.md

+2-3
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ You may also consume the ES2015 source directly using [Rollup](https://github.co
1212

1313
```javascript
1414
import {
15-
B, C, D, E, F, G, H, I, J, K, KI, L, M, O, Q, R, S, T, U, V, W, Y,
15+
B, C, D, E, F, G, H, I, J, K, L, M, O, Q, R, S, T, U, V, W, Y,
1616
} from 'combinators-js'
1717

1818
// or use require or whatever, but you're good to go!
@@ -31,7 +31,6 @@ const H = a => b => c => a(b)(c)(b)
3131
const I = a => a
3232
const J = a => b => c => d => a(b)(a(d)(c))
3333
const K = a => b => a
34-
const KI = a => b => b
3534
const L = a => b => a(b(b))
3635
const M = a => a(a)
3736
const O = a => b => b(a(b))
@@ -58,7 +57,6 @@ test('H')(S(K(S(K(S(S(K(S(S(K)(K))(S(K)(K))))(S(K(S(K(S))(K)))(S(K(S(S(K)(K))))(
5857
test('I')(S(K)(K))
5958
test('J')(S(K(S(K(S(S(K(S(K(S))(K)))(S))(K(K))))))(S(S(K(S(S(K)(K))(S(K)(K))))(S(K(S(K(S))(K)))(S(K(S(S(K)(K))))(K))))(K(S(K(S(S(K(S(K(S))(K)))(S))(K(K))))(S(K(S(K(S(K(S))(K)))(S(K(S))(K)))))))))
6059
test('K')(K)
61-
test('KI')(K(S(K)(K)))
6260
test('L')(S(S(K(S))(K))(K(S(S(K)(K))(S(K)(K)))))
6361
test('M')(S(S(K)(K))(S(K)(K)))
6462
test('O')(S(S(K)(K)))
@@ -75,6 +73,7 @@ Here are some ideas:
7573

7674
```javascript
7775
// LISP data structures
76+
const KI = K(I)
7877
const cons = (a, b) => V(a)(b) // manual uncurry
7978
const car = T(K)
8079
const cdr = T(KI)

index.es6.js

-1
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@ export const H = a => b => c => a(b)(c)(b)
88
export const I = a => a
99
export const J = a => b => c => d => a(b)(a(d)(c))
1010
export const K = a => b => a
11-
export const KI = a => b => b
1211
export const L = a => b => a(b(b))
1312
export const M = a => a(a)
1413
export const O = a => b => b(a(b))

test.js

-1
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,6 @@ test('H')(S(K(S(K(S(S(K(S(S(K)(K))(S(K)(K))))(S(K(S(K(S))(K)))(S(K(S(S(K)(K))))(
2020
test('I')(S(K)(K))
2121
test('J')(S(K(S(K(S(S(K(S(K(S))(K)))(S))(K(K))))))(S(S(K(S(S(K)(K))(S(K)(K))))(S(K(S(K(S))(K)))(S(K(S(S(K)(K))))(K))))(K(S(K(S(S(K(S(K(S))(K)))(S))(K(K))))(S(K(S(K(S(K(S))(K)))(S(K(S))(K)))))))))
2222
test('K')(K)
23-
test('KI')(K(S(K)(K)))
2423
test('L')(S(S(K(S))(K))(K(S(S(K)(K))(S(K)(K)))))
2524
test('M')(S(S(K)(K))(S(K)(K)))
2625
test('O')(S(S(K)(K)))

0 commit comments

Comments
 (0)