checkedc-fork
checkedc-fork copied to clipboard
Update description of generic types in the specification
- The chapter on generic types does not describe existential types.
- The introduction to the specification does not mention generic types.