@cblgh this one: https://www.typetheoryforall.com/... | Devil Lu Linvega

Devil Lu Linvega's posts Post Back to profile

Devil Lu Linvega

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

Like 13 May 2023 at 15:14 | Open on merveilles.town

1 comment

Alexander Cobleigh

@neauoire thank u

13 May 2023 at 17:17 | Open on merveilles.town