#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael | Type Theory Forall | Podwise