G github.com Annotated implementation of microKanren: an embeddable logic language 73 points ashton314 4 years ago 44 comments