@cblgh this one: https://www.typetheoryforall.com/2022/05/09/17-The-Lost-Elegance-of-Computation-(Conal-Elliott).html
@neauoire thank u
@neauoire thank u