docs/release-notes
19
0
Fork 7
Code Issues 46 Pull requests Projects Activity Actions

169 - Idris 2

Browse source
This commit is contained in:
Petr Bokoč 2025-10-28 05:11:05 +01:00
commit c3a73e03a3
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
modules/release-notes/pages/developers.adoc
View file

@ -152,3 +152,10 @@ For more detailed information, refer to the official link:++For more detailed in
Maven 4 is a new major version of Maven after 15 years of Maven 3. It brings many improvements, but also breaking changes. Fedora 43 provides Maven 4 as the `maven4` package, making it installable in parallel to Maven 3.
See the link:++https://maven.apache.org/whatsnewinmaven4.html++[What's new in Maven 4?] post and the link:++https://maven.apache.org/ref/4.0.0-rc-4/++[upstream docs] for more details.
[[idris-2]]
== Idris 2
Idris 2 is a dependently typed practical functional programming language, now available in Fedora 43.
It is a complete rewrite of Idris 1 (which was written in Haskell and is now deprecated) on top of a Scheme compiler.
For details, see the link:++https://idris2.readthedocs.io/en/latest/++[upstream documentation], including a list of changes compared to Idris 1 and an Idris 2 tutorial.