minikanren  

Messages by Thread

• miniKanren advanced hangout #3 started now William Byrd
  • Re: miniKanren advanced hangout #3 started now Avi Farah
• miniKanren Intro Uncourse #3 starting now William Byrd
  • Re: miniKanren Intro Uncourse #3 starting now William Byrd
• Hangout videos from last week are public, along with a new resource William Byrd
• miniKanren advanced hangout starting now William Byrd
  • miniKanren advanced hangout starting now William Byrd
  • miniKanren Advanced Hangout starting now William Byrd
  • miniKanren Advanced Hangout starting now William Byrd
  • miniKanren Advanced hangout starting now William Byrd
• Fwd: miniKanren Intro hangout #2 starting now William Byrd
• pattern match with continuations-ish to reduce the amount of fresh variables. Paulo César Cuneo
• Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
  • Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
  • Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
  • Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
  • Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays Jake Mitchell
  • Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
  • Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays danielle kefford
  • Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
  • Re: Announcing *two* miniKanren hangout series: Saturdays and Sundays William Byrd
• About internals of faster miniKanren Dmitrii Kosarev
  • Re: About internals of faster miniKanren William Byrd
  • Re: About internals of faster miniKanren Michael Ballantyne
  • Re: About internals of faster miniKanren Dmitrii Kosarev
  • Re: About internals of faster miniKanren Dmitrii Kosarev
  • Re: About internals of faster miniKanren Michael Ballantyne
  • Re: About internals of faster miniKanren Dan Friedman
  • Re: About internals of faster miniKanren Michael Ballantyne
  • Re: About internals of faster miniKanren Kakadu
  • Re: About internals of faster miniKanren Dan Friedman
  • Re: About internals of faster miniKanren Amirouche Boubekki
  • Re: About internals of faster miniKanren Nehal Patel
• New miniKanren hangout series William Byrd
  • Re: New miniKanren hangout series William Byrd
  • Re: New miniKanren hangout series Amirouche Boubekki
• struggling with boolean expressions in minikanren Cev Ing
  • Re: struggling with boolean expressions in minikanren Cev Ing
  • Re: struggling with boolean expressions in minikanren Jason Hemann
• Re: Facts and relations Cev Ing
  • Re: Facts and relations Cev Ing
• [core.logic] - Nice to have: support function in matche/a/u Paulo César Cuneo
• What's the purpose of symbolo? How to implement =/= Amirouche Boubekki
  • Re: What's the purpose of symbolo? How to implement =/= William Byrd
  • Re: What's the purpose of symbolo? How to implement =/= Jason Hemann
  • Re: What's the purpose of symbolo? How to implement =/= Amirouche Boubekki
• conde as a function taking a variable number of arguments Cev Ing
  • Re: conde as a function taking a variable number of arguments Paulo César Cuneo
  • Re: conde as a function taking a variable number of arguments William Byrd
  • Re: conde as a function taking a variable number of arguments Cev Ing
  • Re: conde as a function taking a variable number of arguments Paulo César Cuneo
• Relational maps Evgenii Moiseenko
  • Re: Relational maps Amirouche Boubekki
  • Re: Relational maps Amirouche Boubekki
  • Re: Relational maps Amirouche Boubekki
  • Re: Relational maps Amirouche Boubekki
  • Re: Relational maps Paulo César Cuneo
  • Relational maps Evgenii Moiseenko
  • Re: Relational maps Dan Friedman
  • Re: Relational maps Evgenii Moiseenko
  • Re: Relational maps Amirouche Boubekki
  • Re: Relational maps William Byrd
  • Re: Relational maps Dmitrii Kosarev
  • Re: Relational maps William Byrd
  • Re: Relational maps Amirouche Boubekki
• [core.logic] - Why arent goals allowed as constraints? Paulo César Cuneo
  • Re: [core.logic] - Why arent goals allowed as constraints? David Nolen
  • Re: [core.logic] - Why arent goals allowed as constraints? Paulo César Cuneo
• package manager version problem Amirouche Boubekki
  • Re: package manager version problem William Byrd
  • Re: package manager version problem Amirouche Boubekki
• Why does µKanren use `=` instead of `equal?` Cev Ing
  • Re: Why does µKanren use `=` instead of `equal?` Jason Hemann
• Lists in miniKanren Cev Ing
  • Re: Lists in miniKanren Jason Hemann
  • Re: Lists in miniKanren William Byrd
• unify with path compression, benchmarks? Paulo César Cuneo
  • Re: unify with path compression, benchmarks? William Byrd
  • Re: unify with path compression, benchmarks? Paulo César Cuneo
  • Re: unify with path compression, benchmarks? David Kahn
  • Re: unify with path compression, benchmarks? Jason Hemann
  • Re: unify with path compression, benchmarks? Paulo César Cuneo
• Feature structure and minikanren? Amirouche Boubekki
  • Re: Feature structure and minikanren? Jason Hemann
  • Re: Feature structure and minikanren? Dan Friedman
  • Re: Feature structure and minikanren? Chung-chieh Shan
  • Re: Feature structure and minikanren? Jason Hemann
  • Re: Feature structure and minikanren? Matías Guzmán Naranjo
  • Re: Feature structure and minikanren? Amirouche Boubekki
  • Re: Feature structure and minikanren? Amirouche Boubekki
  • Re: Feature structure and minikanren? Matías Guzmán Naranjo
  • Re: Feature structure and minikanren? Amirouche Boubekki
  • Re: Feature structure and minikanren? Matías Guzmán Naranjo
  • Re: Feature structure and minikanren? Apocalypse Mystic
  • Re: Feature structure and minikanren? Matías Guzmán Naranjo
  • Re: Feature structure and minikanren? Apocalypse Mystic
  • Re: Feature structure and minikanren? Matías Guzmán Naranjo
  • Re: Feature structure and minikanren? Apocalypse Mystic
• Negation troubles: candidate-received-no-votes Gordon Gustafson
  • Re: Negation troubles: candidate-received-no-votes Norman Richards
  • Re: Negation troubles: candidate-received-no-votes Gordon Gustafson
• Reasoned schemer for microkanren? Amirouche Boubekki
  • Re: Reasoned schemer for microkanren? Dan Friedman
  • Re: Reasoned schemer for microkanren? Nehal Patel
  • Re: Reasoned schemer for microkanren? Dan Friedman
  • Re: Reasoned schemer for microkanren? Jason Hemann
  • Re: Reasoned schemer for microkanren? Amirouche Boubekki
  • Re: Reasoned schemer for microkanren? Amirouche Boubekki
  • Re: Reasoned schemer for microkanren? Greg Rosenblatt
• Is the "run" search mechanism programmable? Alex Gian
  • Re: Is the "run" search mechanism programmable? William Byrd
  • Re: Is the "run" search mechanism programmable? Alex Gian
  • Re: Is the "run" search mechanism programmable? Alex Gian
  • Re: Is the "run" search mechanism programmable? William Byrd
  • Re: Is the "run" search mechanism programmable? Alex Gian
• What relation can we drawn between minikanren and inference algorithms? Amirouche Boubekki
• How run * works in minikanren ? Mr. Gogo
  • Re: How run * works in minikanren ? Amirouche Boubekki
  • Re: How run * works in minikanren ? William Byrd
• Question answering using minikanren Amirouche Boubekki
  • Re: Question answering using minikanren David Kahn
  • Re: Question answering using minikanren Amirouche Boubekki
• What is the purpose of fresh/nf Amirouche Boubekki
• Core.logic - Restricting Relations Kaylen Wheeler
• minimips assembler/disassembler running in the browser! David Kahn
  • Re: minimips assembler/disassembler running in the browser! William Byrd
  • Re: minimips assembler/disassembler running in the browser! David Kahn
  • Re: minimips assembler/disassembler running in the browser! William Byrd
  • Re: minimips assembler/disassembler running in the browser! David Kahn
• Generating scheme quines with prolog? [comp.lang.prolog post] cycling fan
• minikanren with attributed variables cycling fan
  • Re: minikanren with attributed variables William Byrd
• Querying a tuple database with minikanren Amirouche Boubekki
  • Re: Querying a tuple database with minikanren Amirouche Boubekki
• [core.logic] Compile error: File name too long Armando Blancas
  • Re: [core.logic] Compile error: File name too long David Nolen
• building a troubleshooter in miniKanren Reuben Garrett
  • Re: building a troubleshooter in miniKanren William Byrd
  • Re: building a troubleshooter in miniKanren Reuben Garrett
• [Call For Participation] Scheme and Functional Programming Workshop 2015 Andy Keep
• miniKanren uncourse hangout today William Byrd
• miniKanren uncourse #26 is about to start William Byrd
• miniKanren uncourse hangout #22 starting now William Byrd
• [CFP] *DEADLINE EXTENDED* Scheme and Functional Programming Workshop 2015 Andy Keep
• [CFP] SECOND NOTICE: Scheme and Functional Programming Workshop 2015 Andy Keep
• miniKanren uncourse #21 starting now William Byrd
• miniKanren weekly uncourse starts again today William Byrd
  • Re: miniKanren weekly uncourse starts again today Dan Friedman
• [CFP] Scheme and Functional Programming Workshop 2015 Andy Keep
• No miniKanren uncourse today William Byrd
  • Re: No miniKanren uncourse today Ambrose Bonnaire-Sergeant
• Castor vs miniKanren Eugene Grigoriev
  • Re: Castor vs miniKanren William Byrd
• miniKanren uncourse #16 starting now William Byrd
• miniKanren uncourse #15 starting now William Byrd
• miniKanren uncourse #14 starting now William Byrd
• MicroKanren for C# Sandro Magi
  • Re: MicroKanren for C# William Byrd
  • Re: MicroKanren for C# Sandro Magi
  • Re: MicroKanren for C# William Byrd
  • Re: MicroKanren for C# Sandro Magi
  • Re: MicroKanren for C# William Byrd
  • Re: MicroKanren for C# Sandro Magi
• minikanren uncourse starting now William Byrd
  • miniKanren uncourse starting now William Byrd
  • miniKanren uncourse starting now William Byrd
  • Re: miniKanren uncourse starting now Rick Moynihan
  • miniKanren uncourse starting now William Byrd
  • miniKanren uncourse starting now William Byrd
  • miniKanren uncourse starting now William Byrd
  • miniKanren uncourse starting now William Byrd
  • miniKanren uncourse starting now William Byrd
• miniKanren uncourse starting now... William Byrd
• miniKanren Uncourse #11 starting now! William Byrd
• Produce list from goal branches? Mark Addleman
  • Re: Produce list from goal branches? William Byrd
  • Re: Produce list from goal branches? William Byrd
  • Re: Produce list from goal branches? Norman Richards
  • Re: Produce list from goal branches? William Byrd
  • Re: Produce list from goal branches? Mark Addleman
  • Re: Produce list from goal branches? William Byrd
• miniKanren Uncourse #10 starting now William Byrd
• miniKanren Uncourse #9 starting now William Byrd
• miniKanren uncourse #8 starting now William Byrd
• miniKanren uncourse Hangout #7 starting now William Byrd
• micrologic - A tiny, literate implementation of miniKanren/core.logic Russell Mull
• miniKanren Uncourse #6 starting in 43 minutes William Byrd
• miniKanren Uncourse #5 starts at 3pm Eastern/noon Pacific today William Byrd
• miniKanren uncourse #4 today at 3pm Eastern/noon Pacific William Byrd
• minikanren uncourse #3 starting in 5 minutes William Byrd
• miniKanren Uncourse #3, tomorrow (Sunday), 3 pm Eastern, noon Pacific William Byrd
• minikanren in python Norman Richards
  • Re: minikanren in python William Byrd
  • Re: minikanren in python Norman Richards
  • Re: minikanren in python Dan Friedman
• miniKanren uncourse #2 hangout starting now! William Byrd
  • Re: miniKanren uncourse #2 hangout starting now! Dan Friedman
• Weekly miniKanren course on Google Hangouts on Air William Byrd
• [ANN] *Extended Deadline* CFP for 2014 Scheme and Functional Programming Workshop Jason Hemann
• Call for Participation: WLP and WFLP William Byrd

• Earlier messages
• Later messages