├── .gitignore ├── README ├── idris-neural-net.ipkg ├── pack.toml ├── src ├── Graphs.idr ├── Main.idr ├── Morphisms.idr ├── Path.idr ├── Tensor.idr ├── Train.idr └── para-optic.idr.md └── test ├── src └── Main.idr └── test.ipkg /.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | *.*~ 3 | -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/README -------------------------------------------------------------------------------- /idris-neural-net.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/idris-neural-net.ipkg -------------------------------------------------------------------------------- /pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/pack.toml -------------------------------------------------------------------------------- /src/Graphs.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/src/Graphs.idr -------------------------------------------------------------------------------- /src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/src/Main.idr -------------------------------------------------------------------------------- /src/Morphisms.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/src/Morphisms.idr -------------------------------------------------------------------------------- /src/Path.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/src/Path.idr -------------------------------------------------------------------------------- /src/Tensor.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/src/Tensor.idr -------------------------------------------------------------------------------- /src/Train.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/src/Train.idr -------------------------------------------------------------------------------- /src/para-optic.idr.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/src/para-optic.idr.md -------------------------------------------------------------------------------- /test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/test/src/Main.idr -------------------------------------------------------------------------------- /test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zanzix/idris-neural-net/HEAD/test/test.ipkg --------------------------------------------------------------------------------