Если есть определение равенства в Изабель / ZF (точнее, IFOL): axiomatization eq :: ‹['a,...

Я прочитал в этом посте , что диалекты ML не допускают использование переменных типа неосновного...

Может кто-нибудь помочь мне написать функцию, которая это делает? Я пробовал это: fun...

Здравствуйте, я новичок в SML, и я пытался написать функцию, которая получает в качестве параметра...

Я новичок в SML и хотел бы получить некоторую помощь в использовании следующей реализации двоичного...