Relations with haskell (part 2)

Relations: injective functional onetoone onetomany many-to-one manytoone manytomany total surjective function injection surjection bijection

https://github.com/evgenii-malov/MIND-FLOW/blob/main/2022-09-18/rels3.hs

https://youtu.be/ENQsUZktvE0 - homogeneous relations (part 1) ... https://www.youtube.com/watch?v=ie2mif6RvWk