State that it's dependently typed in the README
commit3d1919fab4fc58ea28b7d9c2e7cab68e9f94c710
authorHuw Campbell <huw.campbell@ambiata.com>
dateMon 27 Jun 2016, 14:29 (10 years ago)
parent08afd74
README.md+1−1
@@ -10,7 +10,7 @@ Five is right out.
1010
1111💣 Machine learning which might blow up in your face 💣
1212
13−Grenade is a type safe, practical and pretty quick neural network library for concise and precise
13+Grenade is a dependently typed, practical, and pretty quick neural network library for concise and precise
1414specifications of complex networks in Haskell.
1515
1616As an example, a network which can achieve less than 1.5% error on mnist can be specified and