Why?: Figure out if anti-paradox machines enable 3-decidability

How?: Categorize, don't classify; detect paradox, and `panic!` or `compile_error!`

Ideally, the remaining non-paradoxical programs are decideable.

License: Apache 2.0 OR MIT, at your option.

Contributors welcome, but I'm juggling a bunch of work stuff right now and might take a moment to respond.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
ast_from_path		ast_from_path
detritus		detritus
src		src
.gitignore		.gitignore
Cargo.toml		Cargo.toml
Makefile		Makefile
README.md		README.md