Open and closed universes

2021-08-02 ꞏ 10 min read #types  #rust 
How to write types that represent choices.
Read more »

The social consequences of type systems

2020-09-27 ꞏ 12 min read #types 
Types are for people.
Read more »