@hackage mathflow0.1.0.0

Dependently typed tensorflow modeler