Open expipiplus1 opened 1 month ago
For type system formalization, please make sure to work with @tangent-vector to see if you should collaborate on the formal spec work that she is working on: https://github.com/shader-slang/spec
We should prioritize documenting the existing type system in the current quarter. Will likely do enhancements going forward.
Hopefully will cover such topics as:
And work towards an implementation plan for some or all of these