You search for '@ryan/20210423123830 type_driven_development_with_idris' on the Internet…
🔍 Web results from Google • Bing • DDG • Marginalia • Maps • YouTube • YouTube Music • Spotify • Bluesky • Fediverse • X
This is your search on Marginalia. Click on a link above to forward your search to the chosen service.
x
This you find in the Agora of Flancia…
🗣️ Stoas for [[@ryan/20210423123830 type_driven_development_with_idris]]
Stoas are shared spaces where interested people can meet and collaborate.
x
📖 Shared document at https://doc.anagora.org/20210423123830-type_driven_development_with_idris
📹 Meeting space at https://meet.evolix.org/20210423123830-type_driven_development_with_idris

Loading Agora node...
✍ Edit [[@ryan/20210423123830 type_driven_development_with_idris]] (requires sign-in)
What could we show here?