Bug 2346153 - Idris 2
Summary: Idris 2
Keywords:
Status: ASSIGNED
Alias: None
Product: Fedora
Classification: Fedora
Component: Changes Tracking
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Jens Petersen
QA Contact:
URL:
Whiteboard:
Depends On: 2314358
Blocks: F43Changes
TreeView+ depends on / blocked
 
Reported: 2025-02-17 18:06 UTC by Aoife Moloney
Modified: 2025-04-07 11:21 UTC (History)
1 user (show)

Fixed In Version:
Clone Of:
Environment:
Last Closed:
Type: ---
Embargoed:

Attachments (Terms of Use)

Description Aoife Moloney 2025-02-17 18:06:26 UTC 
This is a tracking bug for Change: Idris 2
For more details, see: https://fedoraproject.org/wiki/Changes/Idris2

Idris 2 is a dependently typed practical functional programming language.

If you encounter a bug related to this Change, please do not comment here. Instead create a new bug and set it to block this bug.
Note You need to log in before you can comment on or make changes to this bug.