learn-you-an-agda icon indicating copy to clipboard operation
learn-you-an-agda copied to clipboard

Published 20 hours ago • verified publisher icon liamoc

Set up donations for the project

Open erikkaplun opened this issue 10 years ago • 0 comments

Could the author set up a means to donate to the progress of this project? That is, if the author is interested.

erikkaplun avatar Jan 11 '15 14:01 erikkaplun