Łukasz Czajka 487fc58ba6 Fix bug in isTrait (#2368) ... * Closes #2367		2023-09-14 17:50:38 +01:00
..
Asm	New compilation pipeline (#1832)	2023-03-14 16:24:07 +01:00
benchmark	Remove old function syntax (#2305)	2023-08-24 16:24:47 +02:00
Compilation	Fix bug in isTrait (#2368)	2023-09-14 17:50:38 +01: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	New fixity/iterator syntax (#2332)	2023-09-14 10:57:38 +02:00
positive	New fixity/iterator syntax (#2332)	2023-09-14 10:57:38 +02:00
runtime/positive	Respect fixity in runtime printer (#2182)	2023-06-07 11:44:41 +02:00
smoke/Commands	Bump version to 0.5.0 and update CHANGELOG (#2366)	2023-09-14 12:41:54 +01:00
VampIR	Add newlines at end of JSON files (#2360)	2023-09-13 17:09:59 +02:00
.gitattributes	Juvix C runtime (#1580)	2022-11-03 09:38:09 +01:00