Skip to content

Instantly share code, notes, and snippets.

@h0tk3y

h0tk3y/gist:68595e89040110b3fc7e46e28f91f7e3

Created April 9, 2016 10:07
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save h0tk3y/68595e89040110b3fc7e46e28f91f7e3 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save h0tk3y/68595e89040110b3fc7e46e28f91f7e3 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
@Test
fun test10() {
"""\x.x""" shouldBeNormalFor
"""(\f.\x.f (f x)) (\f.\x.f (f x)) (\f.\x.f (f x)) (\f.\x.f (f x)) (\f.\x.f (f x)) (\f.\x.f (f x))"""
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment