Teacher ΔH

Results 1 issues of Teacher ΔH

**Summary**: I propose introducing a feature in Cpp2 that allows users to express constraints on types themselves directly in the type definition. This could be done using the syntax `name:type:concept={...}`...

suggestion