This is a playground for learning about how to apply template-meta-programming to get more efficient evaluation for tensor-based automatic differentiation.

For now, I'm focused entirely on completely statically compile-time-known shapes.

In the meantime, it provides an entertaining series of crashes and confusing error messages.

Contact Information

Contributions and bug reports are welcome!

Please feel free to contact me through github or on the ##coda or #haskell IRC channels on irc.freenode.net.

-Edward Kmett