Bullshit
| module ThisMightReverse where | |
| -- | | |
| -- | |
| -- >>> iiii [] | |
| -- [] | |
| -- | |
| -- prop> (iiii . iiii) x == x | |
| -- | |
| -- prop> iiii (x ++ y) == (iiii y ++ iiii x) | |
| iiii :: | |
| [Int] | |
| -> [Int] | |
| iiii = | |
| error "todo" | |
| -- | | |
| -- | |
| -- >>> iiiiii [] | |
| -- [] | |
| -- | |
| -- prop> (iiiiii . iiiiii) x == x | |
| -- | |
| -- prop> iiiiii (x ++ y) == (iiiiii y ++ iiiiii x) | |
| iiiiii :: | |
| [a] | |
| -> [a] | |
| iiiiii = | |
| error "todo" |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment