From Fedora Project Wiki
Combined display of all available logs of Fedora Project Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 09:09, 13 January 2025 Petersen talk contribs created page Changes/Idris 2 (Created page with "= Idris 2 --> = {{Change_Proposal_Banner}} == Summary == Idris 2 is a dependently typed practical functional programming language. == Owner == * Name: Jens Petersen * Email: <petersen@redhat.com> == Current status == Category:ChangeReadyForWrangler <!-- When your change proposal page is completed and ready for review and announcement --> <!-- remove Category:ChangePageIncomplete and change it to Category:ChangeReadyForWrangler --> <!-- The Wra...")