#searchbox, #searchdesc { display: none; } @media (max-width: 768px) { #navbar-toggle { display: none; } #cs-mobile-menu { display: block; } #cs-layout { margin-top: 12rem; } #cs-ext-links { margin-right: 2rem!important; } }

Types in Software#

21 April 2021

Programming, Software

This presentation is about types in software, why they are important, and what they do to help us.

The presentation source code is at this repository.

Need additional help? Consider contacting me on