00:31 · Oct 12, 2022 · Wed
The Little Typer – The Beauty of Dependent Type Systems, One Step at a Time https://thelittletyper.com/
 
 
Back to Top