Add a link to the project using dependent types for more type safety.

This commit is contained in:
fkm3 2017-12-21 20:24:19 -05:00 committed by Greg Steuck
parent cbd607f4d6
commit e4b4c344ab
1 changed files with 5 additions and 1 deletions

View File

@ -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).