Merge branch 'spec_check' of https://github.com/jvdp1/stdlib into spec_check

Author: jvdp1

src/stdlib_experimental_error.md

@@ -1,7 +1,7 @@
 # Catching and handling errors
 
 * [`check` - Checks the value of a logical condition](#check---checks-the-value-of-a-logical-condition)
-* [`error_stop` - aborts a program](#error_stop---aborts-a-program)
+* [`error_stop` - aborts the program](#error_stop---aborts-the-program)
 
 
 ## `check` - Checks the value of a logical condition
@@ -75,7 +75,7 @@ program demo_check3
 end program demo_check3
 ```
 
-## `error_stop` - aborts a program
+## `error_stop` - aborts the program
 
 ### Description