@zyang Cool! I dont have a good intuition for hoas, but looks great! I'd be super interested if this is as efficient as Nbe! (Or if you can figure out how to apply it to debruijn!)
=> More informations about this toot | View the thread | More toots from zanzi@mathstodon.xyz
=> View zyang@mathstodon.xyz profile
text/geminiThis content has been proxied by September (3851b).