ryukinix / lisp-inference

An Inference Engine based on Propositional Calculus written in Common Lisp
https://logic.manoel.dev
BSD 3-Clause "New" or "Revised" License
40 stars 1 forks source link

Parametrize *notes* and add source/docs references #20

Closed ryukinix closed 5 years ago

ryukinix commented 5 years ago

Now it's possible add new notes easily by pushnew on server side. Source and documentation reference will help the user find help.