Eric Holk on Massimo Nocentinihttps://massimo-nocentini.github.io/author/eric-holk/Recent content in Eric Holk on Massimo NocentiniHugoen-USSun, 09 Sep 2012 18:33:23 +0100miniKanren, live and untaggedhttps://massimo-nocentini.github.io/post/minikanren-live-and-untagged/Sun, 09 Sep 2012 18:33:23 +0100William E. Byrd, Eric Holk, Daniel P. Friedmanhttps://massimo-nocentini.github.io/post/minikanren-live-and-untagged/