git.iko.soy/grenade
on master help sign in
State that it's dependently typed in the README
3d1919fHuw Campbell
README.md+1−1
compare with master
unifiedsplit
@@ -10,7 +10,7 @@ Five is right out.
10
10
11💣 Machine learning which might blow up in your face 💣
11💣 Machine learning which might blow up in your face 💣
12
12
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
14specifications of complex networks in Haskell.
14specifications of complex networks in Haskell.
15
15
16As an example, a network which can achieve less than 1.5% error on mnist can be specified and
16As an example, a network which can achieve less than 1.5% error on mnist can be specified and