From 9b71fc7c6ae06d753ecb71b24b3a7d171d61ea1e Mon Sep 17 00:00:00 2001 From: ComFreek <comfreek@outlook.com> Date: Mon, 26 Oct 2020 17:51:15 +0100 Subject: [PATCH] test --- source/Scrolls/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/Scrolls/README.md b/source/Scrolls/README.md index c7e92d0..90be86b 100644 --- a/source/Scrolls/README.md +++ b/source/Scrolls/README.md @@ -5,7 +5,7 @@ Let's walk through an example of writing a scroll. The scroll we will be writing can be found in `MiscScrolls.mmt` at time of writing, albeit without the documentary comments we will be making here. -Let us write a scroll "Midpoint" that requires two points `P` and `Q` as input, and that gives you upon application the midpoint between those points.f +Let us write a scroll "Midpoint" that requires two points `P` and `Q` as input, and that gives you upon application the midpoint between those points. ```mmt theory Midpoint = -- GitLab