-
Kim Nguyễn authored
Implement some semantic simplification of BDDs. This fixes the exponential beahviour during the typing of the application of flatten.
d1a25cde
Implement some semantic simplification of BDDs. This fixes the exponential beahviour during the typing of the application of flatten.