[Bug 295780] [new port] lang/idris2 a programming language designed to encourage Type-Driven Development.
| Newsgroups | gmane.os.freebsd.devel.ports.bugs |
|---|---|
| Message-ID | <[email protected]/bugzilla/> |
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=295780 Älven <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|[email protected] |[email protected] CC| |[email protected] --- Comment #2 from Älven <[email protected]> --- I like functional languages :) Let me try to take and test it, and hope for my mentors to find some time to review it too, as I'm still very new here to commit things on my own :) -- You are receiving this mail because: You are the assignee for the bug.