From Fedora Project Wiki

Idris 2

This is a proposed Change for Fedora Linux.
This document represents a proposed Change. As part of the Changes process, proposals are publicly announced in order to receive community feedback. This proposal will only be implemented if approved by the Fedora Engineering Steering Committee.

Summary

Idris 2 is a dependently typed practical functional programming language.


Owner

Current status

  • Targeted release: Fedora Linux 42
  • Last updated: 2025-01-13
  • [<link to devel-announce post will be added by Wrangler> Announced]
  • [<will be assigned by the Wrangler> Discussion thread]
  • FESCo issue: <will be assigned by the Wrangler>
  • Tracker bug: <will be assigned by the Wrangler>
  • Release notes tracker: <will be assigned by the Wrangler>

Detailed Description

Idris is a dependently typed functional programming language with first-class types.

Idris 1 (written in Haskell) has been included in Fedora for many years, but is no longer maintained and increasingly hard to build with newer GHC versions. Idris 2 is a complete rewrite on top of a Scheme compiler (either chez-scheme (preferred and added to Fedora for F41) or racket), which replaced idris-1.

Feedback

Benefit to Fedora

Continue to provide an easy way to install the Idris programming language.

Scope

  • Proposal owners:
    • complete the package review of idris2 (review)
    • build idris2 for Fedora

Upgrade/compatibility impact

If idris-1 can no longer build with Changes/Haskell_GHC_9.8_and_Stackage_23 then idris2 can obsolete it.

How To Test

  • install idris2
  • try examples from tutorial etc

User Experience

Users will be able to use the latest major version of the Idris programming language easily.

Dependencies

Contingency Plan

  • Contingency mechanism: (What to do? Who will do it?) N/A (not a System Wide Change)
  • Contingency deadline: N/A (not a System Wide Change)
  • Blocks release? N/A (not a System Wide Change), Yes/No


Documentation

Release Notes

  • idris2 has been added to Fedora