From fa155db9e6d8087ce2361346857775290c2b7cac Mon Sep 17 00:00:00 2001 From: lkcl Date: Sun, 12 Jul 2020 23:56:01 +0100 Subject: [PATCH] --- lkcl.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lkcl.mdwn b/lkcl.mdwn index a8fdaab1f..68f6ca1a2 100644 --- a/lkcl.mdwn +++ b/lkcl.mdwn @@ -48,7 +48,7 @@ move things along from one stage to the next - Branch pipe - Branch proof - CR pipe - - CR proof + - CR proof - Logic pipe - Logic proof - countzero proof -- 2.30.2