robrix / surface

Dependently-typed language w/ little to say for itself

robrix/surface Stargazers

Colin Barrett
cbarrett
Dirk Gadsden
dirk
JohanMeier
Nate Smith
nwjsmith
Patrick Thomson
patrickt
Paul Young
paulyoung
quewean
Steven Shaw
steshaw
themattchan
Tim Kersey
tkersey

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.