Search results

Add implication equivalence

Status: Open.

#29 In ryukinix/lisp-inference;

· ryukinix opened on Mar 16, 2019

Remove duplicates on stack-of-expressions

Status: Open.

#26 In ryukinix/lisp-inference;

· ryukinix opened on Mar 5, 2019

Refactor string parser and lexer: mainly for webapp usage

enhancement

Status: Open.

#25 In ryukinix/lisp-inference;

· ryukinix opened on Mar 4, 2019

Remove princ-n hack about print to *output-stream*

enhancement

Status: Open.

#22 In ryukinix/lisp-inference;

· ryukinix opened on Mar 4, 2019

Refactor lisp-inference system

enhancement

Status: Open.

#21 In ryukinix/lisp-inference;

· ryukinix opened on Mar 4, 2019

Webapp should treat invalid expressions and avoid server kill or 500 HTTP errors

bug

webRelated to webapp moduleRelated to webapp module

Status: Open.

#19 In ryukinix/lisp-inference;

· ryukinix opened on Mar 4, 2019

Webapp doesn't handle parenthesis correctly

bug

webRelated to webapp moduleRelated to webapp module

Status: Open.

#18 In ryukinix/lisp-inference;

· ryukinix opened on Mar 4, 2019

Add reader macro for proposition as P()

feature

Status: Open.

#11 In ryukinix/lisp-inference;

· ryukinix opened on Feb 28, 2019

Rename: addiction -> addition

Status: Open.

#9 In ryukinix/lisp-inference;

· ryukinix opened on Dec 1, 2018

Implement Wang's Algorithm

feature

Status: Open.

#2 In ryukinix/lisp-inference;

· ryukinix opened on Feb 9, 2018