typo left/right in language description
This commit is contained in:
parent
19d3604441
commit
86039e5d88
@ -543,7 +543,7 @@ constants as is, concatenate them and use them as keys.
|
||||
> Car ; C / (Pair a _) : S => C / a : S
|
||||
|
||||
* `CDR`:
|
||||
Access the left part of a pair.
|
||||
Access the right part of a pair.
|
||||
|
||||
:: pair _ 'b : 'S -> 'b : 'S
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user