A very hacky (and incomplete - no backprop!) Neural Network implementation with dependent types
Primary LanguageIdris
No issues in this repository yet.