Inox: Solver for higher-order functional programs | Heykuki News