Skip to content

Instantly share code, notes, and snippets.

@zfnmxt
Created September 8, 2021 14:50
proof (prove)
goal (1 subgoal):
1. rev (if P x
then dropWhile P (rev xs)
else x # rev xs) =
(if P x
then rev (dropWhile P (rev xs))
else xs @ [x])
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment