- Implementations in both Python and Racket in one repo with type signatures and comments
- Edits made to code originally written by jtauber and ashton314
- MIT License
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
MIT License