7 lines
171 B
Text
7 lines
171 B
Text
[ [] ] is queue ( --> q )
|
|
|
|
[ nested join ] is push ( q x --> q )
|
|
|
|
[ behead ] is pop ( q --> q x )
|
|
|
|
[ [] = ] is empty? ( q --> b )
|