People are still figuring out how to make things "easy" with them. The theory says you can prove cool stuff, but the syntax to do that while making it approacha

People are still figuring out how to make things "easy" with them. The theory says you can prove cool stuff, but the syntax to do that while making it approachable is still something people work on. But that's an outsider's perspective.