207
you are viewing a single comment's thread
view the rest of the comments
[-] nemith@programming.dev 39 points 1 week ago

We have this already. It's called dependant deduction.

this post was submitted on 23 Sep 2025
207 points (100.0% liked)

USpolitics

980 readers
1 users here now

founded 2 years ago