[Bug 295780] [new port] lang/idris2 a programming language designed to encourage Type-Driven Development.

In reply to: bugzilla-noreply_a_freebsd.org: "[Bug 295780] [new port] lang/idris2 a programming language designed to encourage Type-Driven Development."
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: <bugzilla-noreply_at_freebsd.org>
Date: Mon, 17 Aug 2026 14:46:35 UTC

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=295780

Jens Grassel <freebsd-ports@jan0sch.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|Affects Only Me             |Affects Many People

--- Comment #1 from Jens Grassel <freebsd-ports@jan0sch.de> ---
Anything more needed to move this forward?

Kind regards

-- 
You are receiving this mail because:
You are the assignee for the bug.