Super HN

   Dependent Names with a Little Encouragement (consteval.ca) 3 points by HeliumHydride 5 days ago