#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.