MAP III - Types of Types II
We need to invert the wasteful trend of learning something as timeless as higher maths only as a mea...
Tags: typetheory, functional, scala, expressions