Open qdbplang opened 1 year ago
Documentation of the type inference mechanism would be useful, both for qdbp developers and for other people who want to implement row polymorphism with recursive types for their own languages.
Documentation of the type inference mechanism would be useful, both for qdbp developers and for other people who want to implement row polymorphism with recursive types for their own languages.