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

Исправление monk, 13.05.24 22:50 (текущая версия) :


{-@ solve :: f:([Bool] -> Bool) -> {r:Maybe [Bool] | r == Nothing  || f $ fromJust r } @-}
solve :: ([Bool] -> Bool) -> Maybe [Bool]

{-@ solvePf xs:[Bool] f:([Bool]->Bool) -> { solve f == Nothing && f xs == False || f xs == True @-}

Исходная версия monk, 13.05.24 22:50:


{-@ solve :: f:([Bool] -> Bool) -> {r:Maybe [Bool] | r == Nothing  || f $ fromJust r } @-}
solve :: ([Bool] -> Bool) -> Maybe [Bool]

{-@ solvePf xs:[Bool] f:([Bool]->Bool) -> { solve f == Nothing && f xs == False || f xs == True }