Closed favonia closed 1 year ago
Just made a PR with the proposed symbols. The old ones are deprecated. @mikeshulman @jonsterling Closes #12.
<:
Emp <: 1 <: 2 <: 3
#<
<@
Emp <@ [4; 5; 6] <@ [7; 8; 9]
<><
@>
b1 @> b2 @> [10]
<>>
Question: Should we keep mentioning Conor McBride for the new symbols?
Oops, n/m
mikeshulman
commented
1 year ago mikeshulman
commented
1 year ago
Just made a PR with the proposed symbols. The old ones are deprecated. @mikeshulman @jonsterling Closes #12.
<:for "snoc":Emp <: 1 <: 2 <: 3. Previously, it's#<.<@for append:Emp <@ [4; 5; 6] <@ [7; 8; 9]. Previously, it's<><.@>for prepend:b1 @> b2 @> [10]. Previously, it's<>>.Question: Should we keep mentioning Conor McBride for the new symbols?