1. 27
  1. 2

    I believe this is the paper that describes how to search for quines with miniKanren. It appears to be doing something fascinating: translating Scheme code into miniKanren code and back.

    Stories with similar links:

    1. The memory models that underlie programming languages via Moonchild 1 year ago | 24 points | no comments