dependent_types
- Subreddit Page
- /r/dependent_types
Category
You already recommended a category! Please check your activity page for more information.
Recommended Alternative
Is there any Lemmy community that should be added as an alternative to dependent_types?
Request Community Creation
If there is no alternative has been created yet, you may request one to be created at the participating instances. Which instance could be a good home to dependent_types?