I once wrote an article explaining dependent types for kids with shapes fitting together, it's definitely a natural analogue
This Tweet is from a suspended account. Learn more
Conversation
Is this available somewhere? It sounds cool!
Replying to
It's currently behind a paywall unfortunate, since it's a tiny educational magazine
1
2
+1 would looooove to read it. UltraKudos for writing it too!