Minor documentation tweaks.

Author: eldering

README.md

@@ -16,7 +16,7 @@ according to which the testdata is checked.  Two sample scripts
 
 [Checktestdata language specification](doc/format-spec.md)
 
-We also have a [Haskell implementation](haskell_edsl/README.md) of the
+We also have a [Haskell implementation](haskell_edsl/) of the
 checktestdata program, which supports this specification as well as a
 Haskell embedded domain-specific language.
 

haskell_edsl/README.md

@@ -1,6 +1,6 @@
 # Checktestdata Haskell EDSL
 
-This is a Haskell implementation of the checktestdata tool. The language is build as a Haskell EDSL with can be used to check a specific format of the data, as well as checking semantic correctness of the data. There is also an executable providing backwards compatibility with existing CTD scripts.
+This is a Haskell implementation of the checktestdata tool. The language is build as a Haskell EDSL which can be used to check a specific format of the data, as well as checking semantic correctness of the data. There is also an executable providing backwards compatibility with existing CTD scripts.
 
 For building, a recent [Haskell compiler](https://www.haskell.org/ghc/) is needed, as well as a build tool such as [Cabal](https://www.haskell.org/cabal/) or [Stack](https://www.haskellstack.org/). For installing both the compiler and a build tool, [Haskell Platform](https://www.haskell.org/platform/) is recommended.