From d767bb0a1666ac1bcdcfad37ae8f80f780951156 Mon Sep 17 00:00:00 2001 From: Alex Zani Date: Thu, 28 Apr 2022 10:18:36 -0700 Subject: [PATCH] Remove dead link to video lecture. Fixes #5 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ab25936..75ec64f 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ This repository shows how to implement a minimalist type theory of the kind that is called "spartan" by some people. The implementation was presented at the [School and Workshop on Univalent Mathematics](https://unimath.github.io/bham2017/) which took place at the -University of Birmingham in December 2017. The video recording of the lecture [How to implement type theory in an hour](https://vimeo.com/286652934) is now available. +University of Birmingham in December 2017. ## The type theory