• Skip to primary navigation
  • Skip to content
  • Skip to footer
SP21 2800 Home Page
  • Homework
  • Lectures
  • Office Hours
  • Schedule
  • Readings

    Site Map

    • Homework
    • Lectures
    • Office Hours
    • Schedule
    • Readings
    • Piazza
    • Syllabus
    • Proof Checker
    • Tech
    • FAQ
    • Site Source
    • Enrichment
    • How's My Driving?

    Write you a Kanren for great good!

    Implementing our own Kanren

    Updated: April 1, 2021

    Previous Next
    • Twitter
    • GitHub
    • StackOverflow
    • Bitbucket
    • Feed
    © 2026 2800. Powered by Jekyll & Minimal Mistakes.