minimips (https://github.com/orchid-hybrid/minimips) the relational MIPS assembler and disassembler written in miniKanren now works in the browser on top of veneer!
Try it here: http://tca.github.io/veneer/examples/editor.html The main change that was needed was delayed goals which I implemented using a co-routine that walks a structure, pausing any time it hits an un-ground variable. https://github.com/tca/veneer/blob/master/mk.js#L148 On a side note, with a small tweak it can also do the two watched literal scheme SAT solvers use for unit propagation. Could this be applied somewhere in miniKanren? -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
