Committers to np/agda-parametricity


Total commits:

34


Total contributors:

1


Average commits:

0.02 per day

Across over 5 years