Add link to infix.md