Open AraneusRota opened 3 years ago
Match types have very long compilation times when more than 3 multiplications are chained even when simplifying terms. Not exactly sure why. Because of that match types probably aren't used anymore from now on.