Cover 7

Basic Simple Type Theory

Cover 7

Basic Simple Type Theory

Basic Simple Type Theory

List

660 books

Owned

The Atlas Six

Cover 0

4D Leadership

Cover 8

Thinking Statistically

How to Take Smart Notes: One Simple Technique to Boost Writing, Learning and Thinking

Cover 4

Tarpit

Atomic Habits: An Easy and Proven Way to Build Good Habits and Break Bad Ones

Economics in One Lesson

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies