Jonathan Cubides 89d35637ac Fix #2479 (#2486) ... Fix formatting for as-patterns inside implicit patterns.		2023-10-31 16:57:27 +01:00
..
Asm	New compilation pipeline (#1832)	2023-03-14 16:24:07 +01:00
benchmark	Numeric, ordering and equality traits (#2433)	2023-10-09 18:25:01 +02:00
Compilation	Dependent default values (#2446)	2023-10-27 10:19:07 +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	Add missing juvix.yaml files to test project roots (#2474)	2023-10-26 10:41:23 +01:00
Internal	Numeric, ordering and equality traits (#2433)	2023-10-09 18:25:01 +02:00
negative	Version the PackageDescription module (#2478)	2023-10-30 11:33:36 +00:00
positive	Fix #2479 (#2486)	2023-10-31 16:57:27 +01:00
runtime/positive	Improve closure calls in the runtime (#2396)	2023-09-29 14:20:00 +02:00
smoke/Commands	Version the PackageDescription module (#2478)	2023-10-30 11:33:36 +00:00
VampIR	Add missing juvix.yaml files to test project roots (#2474)	2023-10-26 10:41:23 +01:00
.gitattributes	Juvix C runtime (#1580)	2022-11-03 09:38:09 +01:00