Doing general vibe math in Programming Language Theory | Virexa