Deep ML Functional type-dependent library for deep machine learning at a very early stage. Packages: inf-backprop. Backpropagation and differentiation. simple-expr. Symbolic expressions for debug.