search

mrakgr / The-Spiral-Language

Functional language with intensional polymorphism and first-class staging.
Mozilla Public License 2.0
919 stars 27 forks source link

Fixing typos and adding syntax highlighting #15

Closed Antipurity closed 5 years ago

Antipurity commented 5 years ago

Reading through and fixing, at the same time. Many things at once must be done.

F#'s syntax highlighting is not perfect here, but look at how much nicer it is.

mrakgr commented 5 years ago

Looks fine. Thank you very much for this.

mrakgr commented 5 years ago

Replace English with math and you will see from all the errors why I need proof assistants. I won't get far without them. This PR commit does make a point on how beneficial it would be to have somebody looking over my shoulder in the absence of that. Without machines, a community would be needed to make any sort of progress.

Even though it has only been a few months, I forgot how much I wanted to make good tooling for Spiral. None of the reasons for wanting it are gone, the only thing that has changed since then is my estimate of how hard it would be to do. I wish Pharo was more expressive and less buggy than it is currently.