A very hacky (and incomplete - no backprop!) Neural Network implementation with dependent types
Primary LanguageIdris