Giters
agda
/
agda-makefile
An makefile with lightweight dependency management
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
5
Watchers:
28
Issues:
0
Forks:
1
agda/agda-makefile Stargazers
apskii
Alan Jeffrey
asajeffrey
Jonathan Fischoff
jfischoff
Orestis Melkonian
omelkonian
Ilmari Vacklin
wolverian