Skip to content

closed type families

Francisco Castro Regueira requested to merge francisco.castro/seminatio-type-level-programming:master into master

Adding the example file for closed type families.

Merge request reports