-
Notifications
You must be signed in to change notification settings - 8000 Fork 37
Insights: LPCIC/elpi
Overview
-
0 Active issues
-
- 2 Merged pull requests
- 1 Open pull request
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
2 Pull requests merged by 2 people
-
Performing a retroactive check on a rule that uses local clause loading and catchall
#334 merged
May 6, 2025 -
compiler: fix namespace elimination & separate compilation
#337 merged
May 5, 2025
1 Pull request opened by 1 person
-
Lsp
#338 opened
May 7, 2025