ilyakooo0/grenade
1
0
Fork 0
mirror of https://github.com/ilyakooo0/grenade.git synced 2024-09-11 06:35:23 +03:00
Code Issues Projects Releases Wiki Activity

State that it's dependently typed in the README

Browse Source
This commit is contained in:
Huw Campbell 2016-06-27 14:29:41 +10:00
parent 08afd74cde
commit 3d1919fab4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -10,7 +10,7 @@ Five is right out.
💣 Machine learning which might blow up in your face 💣
Grenade is a type safe, practical and pretty quick neural network library for concise and precise
Grenade is a dependently typed, practical, and pretty quick neural network library for concise and precise
specifications of complex networks in Haskell.
As an example, a network which can achieve less than 1.5% error on mnist can be specified and