Packages with the enable-cluster-counting use flag

sci-mathematics / agda : A dependently typed functional programming language and proof assistant

  • Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.)