cleaning up a little bit. i should be able to avoid totally recapitualting the synth argument in ana..
cleaning up a little bit. i should be able to avoid totally recapitualting the synth argument in ana..

hazelgrove/hazelnut-dynamics-agda