DependentTypes icon indicating copy to clipboard operation
DependentTypes copied to clipboard

Published 20 hours ago • verified publisher icon jackfoxy

Constructors

Open jackfoxy opened this issue 5 years ago • 0 comments

Adding constructors to the dependent types has proved impossible, so far. Maybe recent or planned F# type system work will make this possible.

jackfoxy avatar Feb 15 '20 20:02 jackfoxy