LINUX.ORG.RU

История изменений

Исправление quasimoto, (текущая версия) :

Тогда

less (LitE (IntegerL a)) (LitE (IntegerL b)) = compare a b
sortE (ListE ys) = ListE $ sortBy less ys

И quotы можно прямо в main делать, это splicовые функции надо выносить в отдельный модуль.

Исходная версия quasimoto, :

Тогда

less (LitE (IntegerL a)) (LitE (IntegerL b)) = compare a b
sortE (ListE ys) = ListE $ sortBy less ys