Nobody has noded "@ryan/20210423123830 type_driven_development_with_idris" in this Agora yet, but you can if you want to:

• ✍️ Write in a public document.
  • No signup required!
  • You can write in the shared document available as a "stoa" in this page. What you contribute there will show up here later.
• 💬 Post from social media or chat.
  • You can contribute from the Fediverse, Bluesky or Matrix.
  • Follow an Agora bot in the platforms of your choice and use [[wikilinks]] or (optionally) #hashtags to interact. For example: if you include [[@ryan/20210423123830 type_driven_development_with_idris]] in a post or message, it will be linked here.
• 🙏 Join the Agora with your self-hosted writing and media.
  • You can integrate your digital garden, blog or wiki into the Agora Commons by publishing it and telling us about it.
  • After that, contributions titled '@ryan/20210423123830 type_driven_development_with_idris' or similar will show up in this node.