Define a recursive predicate in ML isRelationSymmetric that accepts a relation r (represented as a list of tuples) and returns true if r is symmetric and false otherwise. Here is what I have so far. f...

I need to define a recursive ML function composition that accepts two relations and returns the composition of the two relations. I need to use the thhisIsTheImageOf and createRelationFromImage functi...

I need help figuring out what I need to do for the helper function recursively, I am kinda lost of in what I need to do for the helper function. Here is the question and the example input. Here is th...

I am quite new to SML and am trying to implement a selection sort. I am running into an uncaught empty error however and can't seem to see why. fun removeMin lst = let val (m, l) = removeMin(tl ...