8000 Pull requests · links-lang/links · GitHub

Repository navigation

All pull requests

Labels (16)Milestones (3)New pull request

Moved dependency chasing to the loader and fixed some tests
#1214rajdakin opened Apr 11, 2025Contributor
7
Sorting record members first on the length of the key
#1211rajdakin opened Mar 24, 2025Contributor
3
Added subkind Numeric for ad hoc arithmetic operations
#1207hew02 opened Jan 20, 2025
User-definable abstract types
#1198dhil opened Jul 28, 2024Member
11
Term-level type annotations for effectful operations.
#1197dhil opened Jul 25, 2024Member
1
Generative labels
#1169dhil opened Jan 31, 2023Member
17

0