Linear and Dependent Types 2 - Neel Krishnaswami - OPLSS 2017
Linear combinations, span, and basis vectors | Chapter 2, Essence of linear algebra
"Dependent Types in Haskell" by Stephanie Weirich
Carter Schonwald - Modeling protocols with linear dependent types (part 1 & 2 / 4)
Linear and Dependent Types 1 - Neel Krishnaswami - OPLSS 2017
Conor McBride - Worldly type systems + Linear dependent types
Idris 2: Quantitative Types in Action - Edwin Brady
Dependent Types with David Christiansen – Functional Futures
What are dependent types? aka the Calculus of Construction (as a type wizard)
TYPES2025 - 5.5. Maximilian Doré - Linear Types inside Dependent Type Theory
Why Teaching Probability and Statistics is Crucial | Joe Rogan Experience ft. Neil Degrasse Tyson
Dependent Types in the Idris Programming Language 2 - Edwin Brady - OPLSS 2017
Linear and Dependent Types 4 - Neel Krishnaswami - OPLSS 2017
Absolute Dependent Motion #dynamics #pulley
Series Circuit vs Parallel Circuit #shorts
Ryan Orendorff - Functional Programming + Dependent Types ≡ Verified Linear Algebra
Are girls weak in mathematics? 🤔 #shorts #motivation
Consistent or Inconsistent │Dependent or Independent │Number of Solutions │System of Equations
Consistent Independent, Dependent and Inconsistent