mhr/microKanren

microKanren implementations in both Python and Racket in one repo with type signatures and comments

microKanren

• Implementations in both Python and Racket in one repo with type signatures and comments
• Edits made to code originally written by jtauber and ashton314
  • https://github.com/jtauber/pykanren/blob/master/microkanren.py
  • https://github.com/ashton314/muKanren_reading/blob/master/kanren.rkt
• MIT License