F-algebras Or: How I Learned to Stop Worrying and Love the Type Systemyoutube.com4 points·mightybyte··0 commentsOpen articleSaveView on HN