Apropos of snoc lists, does anyone know the coining usage?
Strictly speaking, both (can be implemented) to use cons cells. So I can argue they should be called car/cdr lists. (I will not argue this though.)
=> More informations about this toot | View the thread | More toots from ohad@mathstodon.xyz
text/gemini
This content has been proxied by September (3851b).