From e4b4c344abd6488d3725386d1429be6cf26e931c Mon Sep 17 00:00:00 2001
From: fkm3 <frederickmayle@gmail.com>
Date: Thu, 21 Dec 2017 20:24:19 -0500
Subject: [PATCH] Add a link to the project using dependent types for more type
 safety.

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 1fe8b6d..f830c3f 100644
--- a/README.md
+++ b/README.md
@@ -118,5 +118,9 @@ to enter the environment and build the project. Note, that it is an emulation
 of common Linux environment rather than full-featured Nix package expression.
 No exportable Nix package will appear, but local development is possible.
 
-## License
+# Related Projects
+
+https://github.com/helq/tensorflow-haskell-deptyped is experimenting with using dependent types to statically validate tensor shapes. May be merged with this repository in the future.
+
+# License
 This project is licensed under the terms of the [Apache 2.0 license](LICENSE).