DSLM 2022 L1.2.2
Channel: Patrik Jansson
Date: 2022-01-20

Week 1, Lecture 2, Part 2 of the course
Domain-Specific Languages of Mathematics.
Underlying source code can be found in the repository:
https://github.com/DSLsofMath/DSLsofMath
and the Jamboard here:
https://jamboard.google.com/d/1BomAkVUUucA5VcAEeqZTwsX0YqahYQiOxPm4wv0ylqQ/viewer?f=0
This part moves through the chain of richer and richer number types from N to Z to Q to R to C (natural number, integers, rationals, real numbers, complex numbers). It shows, in each type, some equation which cannot be solved until you move one step "up" the ladder of types.