sypha/rewrite

Created November 16, 2017 16:16

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

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

Download ZIP

Raw

rewrite

	rules:
	s(x)~>true
	x+y~>false

	terme:
	s(0+s(y))

	inner-most
	1: s(0+true)
	2: s(false)

	outer-most
	1: true

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