4 ms·TTFA #38: David Christiansen – Haskell, Lean, Idris, and the Art of Writing5 points by matt_d 2y ago