well-typed / gp-zurihac-2020

Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
44Updated 4 years ago

Related projects

Alternatives and complementary repositories for gp-zurihac-2020