This kata is three years old, has it been abandoned?

Please use new python test framework.

Thanks!
I updated the test cases in order to forbid this hack.

added link to ufldl

added more info except for backprop and gradient descent, because these involve calculus, which is hard to elaborate here. People can learn it from books, Andrew Ng' website.etc
More info needed?

fixed it
thx！

https://www.codewars.com/kata/reviews/5ab4888807b5786d8100217f/groups/5ab49c1ad4eb280a7f001c3b

The initial code is a mess as it is right now with all the functions without any description/comments on what they are.

I dont get what you mean, but generally speaking, type is not set, and we can only somewhat borrow intuition from it.

read a book

if there are any isomorphisms isoAB, then same number as there are isoAA(automorphism)！

I can prove it by construct

isoAAB :: ISO a b -> ISO (ISO a a) (ISO a b)

I know isomorphism!
interesting!

very very satisfied!!!

For me, isomorphism is easy to read but is not easy to comprehend without this kata!

Thanks to Voile's hint, enumerating everything on a sheet is helpful.

Yeah....I don't know either now....
It is completely of no use, feel free to skip it.

Why did you define the constant o?