[falsedan]

> inputs/outputs have a Neural Type, that describes the semantics, the axis order, and the dimensions of the input/output tensor

Does that really answer any of my questions? What's 'Neural' about the type?

[MrEldritch]

Sounds kind of like what's described in Neural Networks, Types, and Functional Programming: http://colah.github.io/posts/2015-09-NN-Types-FP/

[falsedan]

Is that mentioned in the readme? Is this readme worth reading if you don't already know what the project is about?