i sort of like this. i was also considering this angle. i’m only worried that my previous introductions to dependent types were quite inaccessible and i sort of assumed they’re a more academic concept. whereas with Lean i just directly encountered their awesomeness
RE:
if you want to send me seething with primal rage, use the verb “claim” somewhere in your app copy as a call to action, like “claim your free…” ahhh fuck you fuck you fuck you fuck you
i’m “considering” (aka: never gonna happen) writing an introduction to Lean for JavaScript developers. if that’s you, what do you want to know? do you have any specific questions
