cucapra / gator

Geometry types
https://capra.cs.cornell.edu/research/gator/
26 stars 11 forks source link

Subtype of parameterized #119

Closed evanbenadler closed 3 years ago

evanbenadler commented 3 years ago

This should allow the creation of a subtype of a parameterized type such as cart3.point

I still need to update the context for the "point" type in the above example so that the geometry prototype is visible.