You might find Chris Mungall's py-typedlogic interesting: https://py-typedlogic.... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		will_byrd on Jan 2, 2025 \| parent \| context \| favorite \| on: What Is miniKanren? You might find Chris Mungall's py-typedlogic interesting: https://py-typedlogic.github.io/

adamgordonbell on Jan 2, 2025 [–]

Thanks! And thanks for miniKanren and reasoned schemer!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact