Nobody has noded "dependent_types" in this Agora yet, but you can if you want to:

• ✍️ Write in a public document.
  • Check out the document Stoa above. What you write there will show up here later. No signup required!
• 💬 Post from social media or chat.
  • You can contribute from the Fediverse or Matrix. Follow an Agora bot and post [[wikilinks]] or (optionally) #hashtags.
• 🙏 Join this Agora with your self-hosted writing and media.
  • You can integrate your whole blog, digital garden or wiki into the Knowledge Commons. Some setup required 😇