Giters

DrRuisseau / DeepLearning-lenses-idris-fork

Neural networks using lenses in Idris

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

DeepLearning

Neural networks using lenses in Idris

About

Neural networks using lenses in Idris

License:MIT License

Languages

Language:Idris 100.0%