nikotan/lean.py

Last active December 30, 2019 08:47

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/nikotan/5eed25c113d172f0201031969852c1bb.js"></script>
Save nikotan/5eed25c113d172f0201031969852c1bb to your computer and use it in GitHub Desktop.

Download ZIP

Raw

lean.py

	idea = idea0
	while idea is not None:
	idea = learn(measure(build(idea)))

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