From 4c527c1b81de7ea01689832832161fc9ed4919bd Mon Sep 17 00:00:00 2001 From: Yiyun Liu Date: Mon, 28 Apr 2025 17:41:07 -0400 Subject: [PATCH] Fix image --- README.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.org b/README.org index 8685d8b..94e83d9 100644 --- a/README.org +++ b/README.org @@ -1,5 +1,5 @@ * Church Rosser, surjective pairing, and strong normalization -[![status-badge](https://woodpecker.electriclam.com/api/badges/3/status.svg)](https://woodpecker.electriclam.com/repos/3) +[[https://woodpecker.electriclam.com/api/badges/3/status.svg]] This repository contains a mechanized proof that the lambda calculus with beta and eta rules for functions and pairs is in fact confluent