From 6914ce431871dc85f473ee1f4daa5948bae6ef0c Mon Sep 17 00:00:00 2001 From: Ken Monks Date: Thu, 29 Aug 2024 21:35:51 -0600 Subject: [PATCH] More tweaks. --- math/Linear-Rules.lurch | 16 +++------------- math/examples/theory.lurch | 2 +- 2 files changed, 4 insertions(+), 14 deletions(-) diff --git a/math/Linear-Rules.lurch b/math/Linear-Rules.lurch index b9b6e0cb..0c99dddb 100644 --- a/math/Linear-Rules.lurch +++ b/math/Linear-Rules.lurch @@ -8,7 +8,7 @@ -