Open nickgian opened 4 years ago
It would be useful to change the type of combine from dict[a,b] -> dict[a,b] -> dict[a,b] to dict[a,b] -> dict[a,c] -> dict[a,d]. This requires updating the type checker, BDD backend and compiler for native simulation.
It would be useful to change the type of combine from dict[a,b] -> dict[a,b] -> dict[a,b] to dict[a,b] -> dict[a,c] -> dict[a,d]. This requires updating the type checker, BDD backend and compiler for native simulation.