Jan Mas Rovira 28c404348a Ignore instance arguments in the termination checker (#2435) ... - Fixes #2414		2023-10-06 12:09:15 +02:00
..
Asm	New compilation pipeline (#1832)	2023-03-14 16:24:07 +01:00
benchmark	Add Partial trait (#2409)	2023-10-02 15:14:40 +02:00
Compilation	Improve the specialisation optimisation (#2417)	2023-10-05 10:12:48 +02:00
Core	Fold lets when the bound variable occurs at most once (#2231)	2023-06-29 13:02:10 +02:00
examplesExpected	Add a test suite for milestone examples (#1920)	2023-03-24 13:16:26 +00:00
Geb/positive	Remove old function syntax (#2305)	2023-08-24 16:24:47 +02:00
Internal	Add new case syntax (#2353)	2023-09-13 11:58:08 +01:00
negative	Allow open statements in let expressions (#2395)	2023-10-02 23:13:45 +02:00
positive	Ignore instance arguments in the termination checker (#2435)	2023-10-06 12:09:15 +02:00
runtime/positive	Improve closure calls in the runtime (#2396)	2023-09-29 14:20:00 +02:00
smoke/Commands	Bump version to 0.5.2 (#2425)	2023-10-04 13:54:15 +01:00
VampIR	Update pre-commit to check JSON formatting (#2400)	2023-09-28 14:55:35 +02:00
.gitattributes	Juvix C runtime (#1580)	2022-11-03 09:38:09 +01:00