New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Refactor lisp-inference system #21

Open

ryukinix opened this issue Mar 4, 2019 · 0 comments

Labels

Owner

ryukinix commented Mar 4, 2019

It's a little cumbersome, specially the truth-table module.

Beyond that I need to fix some misconceptions about handle multiple propositions and conjunctions. Mainly related to https://github.com/ryukinix/lisp-inference/blob/master/src/inferences.lisp

ryukinix added the enhancement label

ryukinix self-assigned this

ryukinix removed their assignment

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