types-as-specifications
types-as-specifications copied to clipboard
Fix module name (Typelevel.Exercises.Basics) Exercises was forgotten