marco-bazzani

Results 2 issues of marco-bazzani

Closes #135 These changes allow the `visualize_spectrogram` function to graph multiple different categories, assigning each category a different label and color. All actual changes are done in the `spectrogram_graph` function,...

Previously GHC.Real.div had the assumptions `((1 < y) => v < x )` and ` ((y >= 1) => v x` and contradicts both assumptions. The fixed versions are `((x...