Skip to content

Instantly share code, notes, and snippets.

@aiya000

aiya000/gista-file

Created August 22, 2018 12:36
Show Gist options
  • Save aiya000/911bfc1013a17636fc48caa2cbe0797b to your computer and use it in GitHub Desktop.
Save aiya000/911bfc1013a17636fc48caa2cbe0797b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gista-file
Right
(
(
\n:(Unit -> Unit) -> Unit -> Unit.
\m:(Unit -> Unit) -> Unit -> Unit.
\s:Unit -> Unit.
\z:Unit.(n s) ((m s) z))
(
\s1:Unit -> Unit.
\z1:Unit.s1 z1
)
) (
\s2:Unit -> Unit.
\z2:Unit.s2 z2
)
Right
\n:(Unit -> Unit) -> Unit -> Unit.
\m:(Unit -> Unit) -> Unit -> Unit.
\s:Unit -> Unit.\z:Unit.n (s ((m (s z)) ((
\s1:Unit -> Unit.
\z1:Unit.s1 z1
) (
\s2:Unit -> Unit.
\z2:Unit.s2 (s2 z2)
))))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment