Types are Awesome | Curry-Howard Isomorphism | Type-level programming | Rust, Python, C++

[@ibic]

One of the best video I could find to try to understand the Curry-Howard Isomorphism (though I still don't grasp it..)

[@sutapascreations6067]

Great job .....Keep it up 👍

[@shaydln]

😎