Committers to phile314/agda-build


Philipp Hausmann

Philipp Hausmann phile314

1 commit - 100%

Total commits:

1


Total contributors:

1


Average commits:

0.0 per day

Across about 3 years