[Relay][Prelude] Remove Peano nats from the prelude (#3045)
authorSteven S. Lyubomirsky <sslyu@cs.washington.edu>
Wed, 22 May 2019 20:57:53 +0000 (13:57 -0700)
committerTianqi Chen <tqchen@users.noreply.github.com>
Wed, 22 May 2019 20:57:53 +0000 (13:57 -0700)
commit95bfd4a2427b14f400f48aca83dcc125bdd37e62
tree1670f66ecff2b382b8441da07b15a69f1191e7e8
parentc93235d77f38795d3e5c0dcd9b6082b5f5d9e777
[Relay][Prelude] Remove Peano nats from the prelude (#3045)
python/tvm/relay/prelude.py
python/tvm/relay/testing/__init__.py
python/tvm/relay/testing/nat.py [new file with mode: 0644]
tests/python/relay/test_adt.py
tests/python/relay/test_ir_well_formed.py
tests/python/relay/test_pass_alpha_equal.py
tests/python/relay/test_pass_gradient.py
tests/python/relay/test_pass_to_a_normal_form.py