ryukinix/lisp-inference

Issues

• Refactor string parser and lexer: mainly for webapp usage

  #25 opened 6 years ago by ryukinix
  5

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

  #22 opened 6 years ago by ryukinix
  0

• Refactor lisp-inference system

  #21 opened 6 years ago by ryukinix
  0

• Add implication equivalence

  #29 opened 6 years ago by ryukinix
  0

• Setup Dockerfile + Travis CI

  #24 opened 6 years ago by ryukinix
  0

• Remove duplicates on stack-of-expressions

  #26 opened 6 years ago by ryukinix
  0

• Add reader macro for proposition as P()

  #11 opened 6 years ago by ryukinix
  0

• Webapp doesn't handle parenthesis correctly

  #18 opened 6 years ago by ryukinix
  9

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

  #19 opened 6 years ago by ryukinix
  0

• Create a web server + front to host lisp-inference

  #13 opened 6 years ago by ryukinix
  1

• Rename: addiction -> addition

  #9 opened 6 years ago by ryukinix
  0

• Write unit-tests in the Common Lisp idiomatic way as ASDF system

  #3 opened 6 years ago by ryukinix
  0

• Create a parser for infix->prefix notation

  #1 opened 6 years ago by ryukinix
  2

• Fix problem about namespace issues on the printh-truth-table procedure

  #4 opened 6 years ago by ryukinix
  1

• Implement Wang's Algorithm

  #2 opened 7 years ago by ryukinix
  1