@neauoire got any conal elliott favourites? never heard of him before
@cblgh this one: https://www.typetheoryforall.com/2022/05/09/17-The-Lost-Elegance-of-Computation-(Conal-Elliott).html
@neauoire thank u
@cblgh this one: https://www.typetheoryforall.com/2022/05/09/17-The-Lost-Elegance-of-Computation-(Conal-Elliott).html