From 48633e039b41a73106dcb35edc7c2c821312c385 Mon Sep 17 00:00:00 2001 From: Ian Voysey Date: Tue, 1 Nov 2016 10:57:05 -0400 Subject: [PATCH] Removing link to reviews --- README.md | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/README.md b/README.md index 985be6c..a87b091 100644 --- a/README.md +++ b/README.md @@ -1,10 +1,7 @@ # agda-popl17 This repository contains the mechanization of Hazelnut and the associated -metatheory as submitted to POPL 2017 for artifact evaluation. This artifact -passed evaluation with high marks. The -[reviews](https://github.com/hazelgrove/hazelnut-popl17/blob/master/hazelnut-popl17-aec-reviews.txt) -from the AEC can be found on the repo for the paper text. +metatheory as submitted to POPL 2017 for artifact evaluation. The branch `sums` is the mechanization of the core calculus extended with sum types as described in Section 4 of the paper. It's a conservative