pheuter/aconversion2.rb

Created March 24, 2011 23:29

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Select an option

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/pheuter/886102.js"></script>
Save pheuter/886102 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

aconversion2.rb

	λx.x y
	λy.y y

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment