River is your AI computer for every course. Bring your notes, readings, and past assignments — then get help studying, writing, and understanding your actual material.
What is η-conversion?
λx.fx ≡ f when x ∉ FV(f) — contracts a redundant abstraction
What students use River for
Start here
A ready-to-use Space that covers everything from first lecture to final exam.
How it works
Drop in lecture notes, readings, problem sets, and past exams. River reads across all of it when you ask for help.
Generate flashcards from your notes, get unstuck on problem sets, or draft an essay — grounded in what you’ve actually studied.
Export polished papers, revision summaries, or presentation slides. Organised notes mean better recall when it counts.
Templates
FAQ
Start for free. No credit card required.