Wiki - https://fedoraproject.org/wiki/Changes/Idris2 Discussion thread - https://discussion.fedoraproject.org/t/f42-change-proposal-ibus-libpinyin-1-16-self-contained/142523 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 == * Name: [[User:Petersen| Jens Petersen]] * Email: <petersen@xxxxxxxxxx> == Detailed Description == [https://www.idris-lang.org/ Idris] is a dependently typed functional programming language with first-class types. Idris 1 (written in Haskell) has been [https://src.fedoraproject.org/rpms/idris 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 [https://src.fedoraproject.org/rpms/chez-scheme chez-scheme] (preferred and added to Fedora for F41) or [https://src.fedoraproject.org/rpms/racket 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 ([https://bugzilla.redhat.com/show_bug.cgi?id=2314358 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 [https://www.idris-lang.org/pages/example.html 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) == Documentation == * https://www.idris-lang.org/pages/documentation.html * https://idris2.readthedocs.io/en/latest/ == Release Notes == * idris2 has been added to Fedora -- Aoife Moloney Fedora Operations Architect Fedora Project Matrix: @amoloney:fedora.im IRC: amoloney -- _______________________________________________ devel-announce mailing list -- devel-announce@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel-announce@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue -- _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
