diff options
Diffstat (limited to 'std/Pair.bruijn')
| -rw-r--r-- | std/Pair.bruijn | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/std/Pair.bruijn b/std/Pair.bruijn index 8dffe7d..7cc93fb 100644 --- a/std/Pair.bruijn +++ b/std/Pair.bruijn @@ -5,19 +5,19 @@ # pairs two expressions into one pair [[[0 2 1]]] -(:) pair +…:… pair # extracts first expression from pair fst [0 k] -^( fst +^‣ fst :test (^([[0]] : [[1]])) ([[0]]) # extracts second expression from pair snd [0 ki] -~( snd +~‣ snd :test (~([[0]] : [[1]])) ([[1]]) |