• Indexed Information
  • Rank2,628
  • Users11
  • Last Indexed2 hours ago
Channel Topic
Discussion of logical programming and other comp sci issues. Off topic is fine

Channel logging for #minikanren is not currently enabled