diff options
| author | Marvin Borner | 2022-08-07 00:06:20 +0200 |
|---|---|---|
| committer | Marvin Borner | 2022-08-07 00:08:17 +0200 |
| commit | d2a5d69f42d74e8382ca29c8c166eba3a79d20d5 (patch) | |
| tree | 01e3fa75173e99dc78b516050079acb1d1b11a0d /std/Combinator.bruijn | |
| parent | 4ec1d9312839bf73ad80a4555e5c53e0b388c86a (diff) | |
Progress
As always - very descriptive. I've been busy with exams but from now
on I'll be working on bruijn again.
Diffstat (limited to 'std/Combinator.bruijn')
| -rw-r--r-- | std/Combinator.bruijn | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/std/Combinator.bruijn b/std/Combinator.bruijn index 95338a6..bedc1e9 100644 --- a/std/Combinator.bruijn +++ b/std/Combinator.bruijn @@ -1,22 +1,39 @@ # MIT License, Copyright (c) 2022 Marvin Borner S [[[2 0 (1 0)]]] + K [[1]] + I [0] + B [[[2 (1 0)]]] + C [[[2 0 1]]] + W [[1 0 0]] + T [[1]] + F [[0]] + ω [0 0] + Ω ω ω + Y [[1 (0 0)] [1 (0 0)]] + Θ [[0 (1 1 0)]] [[0 (1 1 0)]] + i [0 S K] :test I = i i + :test K = i (i (i i)) + :test S = i (i (i (i i))) + :test B = S (K S) K + :test C = S (S (K (S (K S) K)) S) (K K) + :test W = S S (S K) |