Re:The Little Typer – The Beauty of Dependent Type Systems, ...
by specialp on Tuesday October 11, 2022 @10:34AM
(#33163843)
I was at that talk by David which is the first link. Highly recommended watch, he is such a good presenter. The way he went full circle there and had the room in raucous applause at the end was something I never forgot.
[ Parent
| on HN ]
There are no comments on this comment yet.