[HN Gopher] Making a "MiniKanren" using Z3Py
       ___________________________________________________________________
        
       Making a "MiniKanren" using Z3Py
        
       Author : philzook
       Score  : 46 points
       Date   : 2021-05-22 15:22 UTC (7 hours ago)
        
 (HTM) web link (www.philipzucker.com)
 (TXT) w3m dump (www.philipzucker.com)
        
       | Y_Y wrote:
       | Awesome. I also liked your implementation in Julia.
       | 
       | What about evalo though?
        
       | carapace wrote:
       | philzook you are rapidly becoming one of my favorite bloggers! I
       | don't have anything to add, really, I just want to encourage you.
       | Your content and style are awesome. :)
        
         | philzook wrote:
         | Wow! I really appreciate this! I'll try to think of this during
         | my frequent existential crises wondering what the hell I'm
         | doing with my life.
        
       | irrational wrote:
       | If first read this as Mini Karen. I was imagining a Karen that
       | asks for the assistant manager.
        
       ___________________________________________________________________
       (page generated 2021-05-22 23:01 UTC)