A Purely Functional Typed Approach to Trainable Models
blog.jle.im