minikanren  

Messages by Thread

• [Call for Papers] 2014 Scheme and Functional Programming Workshop Jason Hemann
• Updated CfP: International Workshop on Functional and (Constraint) Logic Programming William Byrd
• dinner planning problems Jack Moffitt
  • Re: dinner planning problems Dan Friedman
• Free miniKanren summer school at University of Utah this week William Byrd
• CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming William Byrd
• New miniKanren paper: Image processing using miniKanren William Byrd
  • Re: New miniKanren paper: Image processing using miniKanren Dan Friedman
• Re: Solving allocation problems; code review and core.logic David Nolen
• first try writing minikanren, hoping for some feedback Steve Olsen
  • Re: first try writing minikanren, hoping for some feedback William Byrd
  • Re: first try writing minikanren, hoping for some feedback Dan Friedman
  • Re: first try writing minikanren, hoping for some feedback Steve Olsen
  • Fwd: first try writing minikanren, hoping for some feedback William Byrd
  • Re: first try writing minikanren, hoping for some feedback Steve Olsen
  • Re: first try writing minikanren, hoping for some feedback William Byrd
  • Re: first try writing minikanren, hoping for some feedback Steve Olsen
  • Re: first try writing minikanren, hoping for some feedback William Byrd
  • Re: first try writing minikanren, hoping for some feedback Steve Olsen
  • Re: first try writing minikanren, hoping for some feedback William Byrd
  • Re: first try writing minikanren, hoping for some feedback Steve Olsen
• Strange core.logic behavior Mauro Lopes
  • Re: Strange core.logic behavior David Nolen
  • Re: Strange core.logic behavior Mauro Lopes
  • Re: Strange core.logic behavior David Nolen
  • Re: Strange core.logic behavior Mauro Lopes
  • Re: Strange core.logic behavior David Nolen
  • Re: Strange core.logic behavior Mauro Lopes
  • Re: Strange core.logic behavior David Nolen
  • Re: Strange core.logic behavior Mauro Lopes
  • Re: Strange core.logic behavior David Nolen
  • Re: Strange core.logic behavior Mauro Lopes
  • Re: Strange core.logic behavior Mauro Lopes
  • Re: Strange core.logic behavior Mauro Lopes
  • Re: Strange core.logic behavior David Nolen
  • Re: Strange core.logic behavior Mauro Lopes
  • Re: Strange core.logic behavior Mauro Lopes
  • Re: Strange core.logic behavior David Nolen
• Set constraints William Byrd
  • Re: Set constraints Khoa Võ Đăng
• ANN: core.logic 0.8.7 David Nolen
• ANN: core.logic 0.8.6 - constraint verification, thoughts on arbitrary CLP(X) combinations David Nolen
  • Re: ANN: core.logic 0.8.6 - constraint verification, thoughts on arbitrary CLP(X) combinations William Byrd
  • Re: ANN: core.logic 0.8.6 - constraint verification, thoughts on arbitrary CLP(X) combinations David Nolen

• Later messages