3 Commits

Author	SHA1	Message	Date
varkor	1cdf5df451	Fix error message after rebase	2018-11-29 21:00:11 +00:00
varkor	32a8dec889	Clarify undecided semantics	2018-11-29 20:58:38 +00:00
varkor	d2b340758b	Add a test for uninhabitedness changes	2018-11-29 20:58:37 +00:00