This is an attempt at a dependently-typed model for the "mechanism" for Snowdrift. It is written in Idris and licensed under the GNU Affero General Public License (AGPL). You can read a copy of the AGPL in the LICENSE.
What is Snowdrift?
It's a project to cooperatively and sustainably fund freely-licensed works. For more information, see the How it works page.
What is the mechanism
The mechanism is the library in Snowdrift that implements the Accounting information system in Snowdrift.
-
To contact the author of this repository, you can
- email
[email protected]
, - or message
pharpend
on FreeNode.
- email
-
To contact Snowdrift, you can
- contact them anonymously through their project page,
- visit the
#snowdrift
channel on FreeNode, - email
[email protected]
.