Closed timziebart closed 5 years ago
as the internal variables don't matter for the operation point (that's an assumption at least), one could remove them for the search of the operation point by simply replacing them with the corresponding algebraic types
as the internal variables don't matter for the operation point (that's an assumption at least), one could remove them for the search of the operation point by simply replacing them with the corresponding algebraic types