これは比較的簡単なはずだと思いますが、誰かがこれに答える方法を知っているかどうか疑問に思っていました:
自然数列の最小値を返す再帰関数 seq-min : N+ -> N を定義します。
・・・のようなことを考えていました。
if hd seq < hd tl seq then seq-min([hd seq] concat tl tl seq)
else if hd seq > hd tl seq then seq-min(tl seq)
else if hd seq = hd tl seq then seq-min(tl seq)
助けてくれてありがとう！