This also reminds me of mmt https://uniformal.github.io/ https://uniformal.github.io/ The primary developer of that recently gave a talk about it here https://v

This also reminds me of mmt https://uniformal.github.io/ https://uniformal.github.io/ The primary developer of that recently gave a talk about it here https://vimeo.com/421123419 https://vimeo.com/421123419