2021

Articles and demos from 2021, by month.

June

Simple typechecking goes a long way

Write-up to come.

29 June 2021