doofin/tensorflow-idris

dependent types meets deep learning

1 best points · 0 comments · 1 Hacker News post · 44 GitHub stars · View on GitHub

Hacker News discussions

• Tensorflow in Idris (1 points, 0 comments, by jxub, 2018-07-06)