A group is a collection of several projects.
If you organize your projects under a group, it works like a folder.
You can manage your group member’s permissions and access to each project in the group.
Free and open source idris projects from homotopic.tech
If you organize your projects under a group, it works like a folder.
You can manage your group member’s permissions and access to each project in the group.
There are no projects shared with this group yet
There are no archived projects yet