#type-theory
Read more stories on Hashnode
Articles with this tag
A minimalist approach to code-generation · In the second part of this series, we will take a quick quasi-philosophical detour and think a bit more...
MetaTypes and ArcheTypes · We need to invert the wasteful trend of learning something as timeless as higher maths only as a means to learn an ephemeral...