From aa233cc86b3213198a5dc328fea183a0f3409ecc Mon Sep 17 00:00:00 2001 From: Yiyun Liu Date: Mon, 12 May 2025 01:00:46 -0400 Subject: [PATCH] Minor --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a7ceb45..20a9095 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# untyped NbE in racket +# Untyped NbE in Typed Racket [![status-badge](https://woodpecker.electriclam.com/api/badges/4/status.svg)](https://woodpecker.electriclam.com/repos/4) An implementation of normalization by evaluation loosely based on [A