PR #12345: feat(probability): define joint and marginal d...

Stream: triage

[Random Issue Bot]

Today I chose PR 12345 for discussion!

feat(probability): define joint and marginal distributions
Created by @Rishikesh Vaishnav (@rish987) on 2022-02-27
Labels: awaiting-review, awaiting-CI

Is this PR still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

@Jason KY., is my understanding correct that we want a more general approach?

[Jason KY.]

In what way?

[Yaël Dillies]

Then probably my understanding is incorrect :sweat: What should we do with the above PR?

[Jason KY.]

It doesn't pass CI so my understanding is that we don't need to do anything yet

[Yaël Dillies]

Is the content worth salvaging or not? Should I spend time making it pass CI?

[Jason KY.]

I dont think I will need it but feel free to do so if you have some free time now that you are done with the exams