Post ASs4QUGqHwH0UPTUfo by mcnalu@mastodon.me.uk
 (DIR) More posts by mcnalu@mastodon.me.uk
 (DIR) Post #ASs4QTs1mCQLFRrfzk by hpr@botsin.space
       2023-02-20T01:20:29Z
       
       0 likes, 0 repeats
       
       New post: HPR3796: Dependent Types, via Hacker Public Radio #hpr https://hackerpublicradio.org/eps.php?id=3796 February 20, 2023 at 01:00AM
       
 (DIR) Post #ASs4QUGqHwH0UPTUfo by mcnalu@mastodon.me.uk
       2023-02-20T12:41:57Z
       
       0 likes, 1 repeats
       
       @hpr I asked David to explain type theory to me at the #FOSDEM HPR stand and I found it so clear I said "I wish we had recorded that!)." But now he has. Hurrah!