• Indexed Information
  • Rank2,750
  • Users10
  • Last Indexed5 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