GitHub repository: Erik-J-D/microKanren-py
Primary language: Python
Created: 2021-10-20T19:49:49Z
Description: Simple python3 implementation of microKanren with lots of type annotations for clarity