Closed rhendric closed 7 months ago
I think it'd be pedagogically useful to have HList available in the playground.
Done :)
I really need to make this less of a manual process. At least HList just built with all the existing package configurations so there was little work to do.
Feature request
I think it'd be pedagogically useful to have HList available in the playground.