RetroFed Forum

Welcome to the nostalgia-filled piefed instance of yesteryear.

Open Registration with Application questionnaire.

If you have a question or comment you can post in !meta@retrofed.com or message @DosDude@retrofed.com or @Die4Ever@retrofed.com

In case of downtime and/or emergency, we will post updates on @DosDude@mastodon.social

Some rules we try to uphold:

Be civil. Bigotry is not welcome. This includes (but is not limited to): transphobia, queerphobia, racism, ageism and ableism. We do not promote hate.
Communities need to be Retro or Retro-adjacent.
Please don't upload pornographic content. (use an external image host for that)

Welcome to the nostalgia-filled piefed instance of yesteryear.

Open Registration with Application questionnaire.

If you have a question or comment you can post in !meta@retrofed.com or message @DosDude@retrofed.com or @Die4Ever@retrofed.com

In case of downtime and/or emergency, we will post updates on @DosDude@mastodon.social

Some rules we try to uphold:

Be civil. Bigotry is not welcome. This includes (but is not limited to): transphobia, queerphobia, racism, ageism and ableism. We do not promote hate.
Communities need to be Retro or Retro-adjacent.
Please don't upload pornographic content. (use an external image host for that)

	Replies	Author	Score	Last Post
How are exceptions handled in Idris?	0	Tiuku	1	Tue Jun 3, 2025 8:26 pm »
Contributors/maintainers needed for the Idris track on Exercism — Free Software (open source) code learning platform (github.com)	0	pangyuehung	1	Wed Nov 25, 2020 8:44 am »
Kevin Mahoney: Tests vs Types (kevinmahoney.co.uk)	0	pangyuehung	1	Wed Aug 26, 2020 3:29 am »
Edwin Brady introducing Idris 2: Type-driven development of Idris (www.youtube.com)	0	pangyuehung	1	Wed Aug 26, 2020 3:28 am »