5 Commits

Author	SHA1	Message	Date
Dave Halter	f31c90926e	Move implicit namespace package code to example dir	2020-01-11 22:25:12 +01:00
Dave Halter	adff6d34a4	goto_assignment -> goto everywhere where it was left	2019-12-20 19:15:41 +01:00
Dave Halter	d7d9c9642a	Don't use goto_definitions anymore, use infer	2019-12-20 19:06:24 +01:00
Dave Halter	2cc898ba35	Get rid of completions in tests	2019-12-20 16:54:51 +01:00
Dave Halter	e4d1e5455f	test_evaluate -> test_inference	2019-08-14 23:56:44 +02:00