Interest in MAGMA


Is there interest in an integration with magma?

This seems to be a great fit with TVM and could potentially allow TVM to be used in scientific applications outside of its current domain. There is significant overlap also and potentially TVM would be a better implementation language than what they chose.