From 271225aee50455ed2cae0ae6e5e437c80d06a2b4 Mon Sep 17 00:00:00 2001 From: Jannis Limperg Date: Fri, 13 Dec 2019 01:07:57 +0100 Subject: [PATCH] Change README title to thesis title --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e7c546f..39d184c 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Formalisation of a lambda calculus with sized types +# A Reflexive Graph Model of Sized Types This is the companion formalisation for my Master's thesis. To build it, you'll need [Agda](https://agda.readthedocs.io/en/v2.6.0.1/) version 2.6.0.1 and a