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