Closed arimer closed 5 years ago
Since #175 we can now activiate transivite fork dep. resoution, which is nice! But unfortunatelly the expression type is not checked, so it is quite easy to break the compliation by adding non-boolean expressions.
Since #175 we can now activiate transivite fork dep. resoution, which is nice! But unfortunatelly the expression type is not checked, so it is quite easy to break the compliation by adding non-boolean expressions.