well-typed / gp-zurihac-2020

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

Alternatives and similar repositories for gp-zurihac-2020:

Users that are interested in gp-zurihac-2020 are comparing it to the libraries listed below