lisp-inference icon indicating copy to clipboard operation
lisp-inference copied to clipboard

Refactor lisp-inference system

Open ryukinix opened this issue 5 years ago • 0 comments

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 avatar Mar 04 '19 14:03 ryukinix