ingo

ingo is part of the following groups:

• Maintainers for ForSyDe
• Maintainers for forsyde-deep
• Maintainers for forsyde-shallow
• Maintainers for parameterized-data
• Maintainers for type-level
• Package uploaders

---

Click here to manage this account