← Back to context

Comment by thunderseethe

8 days ago

What are you calling bidir, if the introduction of unification means its no longer bidir?

0 comments

thunderseethe

Reply

No comments yet

Contribute on Hacker News ↗