This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Understanding computation that happens entirely in the type system, not at runtime.
You've completed the free preview. Subscribe to unlock every lesson in every course.