diff --git a/source/Scrolls/README.md b/source/Scrolls/README.md index 90be86bed2e044724b516c146e8a0fcba3dc2e78..c7e92d0897561b282ae5813047a5cc6ed61e209f 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. +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 ```mmt theory Midpoint =