shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
No resources for this project.