Brendan Zabarauskas@brendanzabImplementing type theory is fun!Quote TweetAndrej Bauer@andrejbauer · Aug 25, 2018I found a video lecture "How to implement type theory in an hour" from last December that I forgot to upload. Here it is, with an accompanying GitHub repository: http://math.andrej.com/2018/08/25/how-to-implement-type-theory-in-an-hour/…9:40 AM · Aug 25, 2018·Twitter Web Client
