Default branch

main
Some checks failed
Rust CI / Build with MSRV (push) Has been cancelled
Rust CI / Check (push) Has been cancelled
Rust CI / Tests (push) Has been cancelled
Rust CI / Rustfmt (push) Has been cancelled
Rust CI / Clippy (push) Has been cancelled
Rust CI / package (push) Has been cancelled
Rust CI / Check line endings (push) Has been cancelled
Codecov Coverage / coverage (push) Has been cancelled
Lint Code Base / Lint Code Base (push) Has been cancelled
Check nix code / Check nix code (push) Has been cancelled
Build and deploy web demo / deploy (push) Has been cancelled

54db456e28 · Compile to JS using SWC (#531) · Updated 2025-12-17 13:00:26 +00:00

Branches

compile-to-js
Some checks failed
Check nix code / Check nix code (push) Has been cancelled

58ba5eca4b · unimplemented error messages · Updated 2025-12-16 17:00:08 +00:00

1
26

7add9e7890 · Apply suggestions from code review · Updated 2025-12-09 16:54:17 +00:00

3
7

e869d02057 · Improve color handling in report renderer · Updated 2025-12-09 16:28:00 +00:00

3
4

0902af4930 · Update integer literal syntax · Updated 2025-12-09 12:29:48 +00:00

4
14
literals
Some checks failed
Check nix code / Check nix code (push) Has been cancelled

00c445cf03 · Improve comment · Updated 2025-12-06 12:08:40 +00:00

5
20

7d7fc6c9ec · WIP: locate_libs · Updated 2025-11-25 13:50:01 +00:00

6
1

658bce0b08 · More WIP · Updated 2025-11-24 18:31:54 +00:00

6
4
semantic-highlighting
Some checks failed
Check Examples Index / check-index (push) Has been cancelled
Check nix code / Check nix code (push) Has been cancelled

d59f6eac2f · fff · Updated 2025-11-24 16:21:25 +00:00

6
9
add-std-primitives
Some checks failed
Check nix code / Check nix code (push) Has been cancelled

8b115a20ce · append is more useful than prepend · Updated 2025-11-20 14:09:33 +00:00

8
7

8bc6616a35 · Stub implementation in lowering · Updated 2025-11-18 15:35:48 +00:00

8
3

b0e3f5c7de · Add positive test case for externs · Updated 2025-11-18 09:08:59 +00:00

9
2

780610e4c3 · Use correct variable name · Updated 2025-11-12 16:56:32 +00:00

11
2
externs/elaboration
Some checks failed
Check nix code / Check nix code (push) Has been cancelled

dfe12cdc44 · Add negative test cases for typechecking · Updated 2025-11-12 16:52:25 +00:00

11
7

898ec52a0f · Fix well-formedness check for top-level lets · Updated 2025-11-12 16:04:19 +00:00

13
1

5f3ff27072 · Implement lifting for extern declarations · Updated 2025-11-12 12:45:09 +00:00

13
1

51b0a79120 · Add a few fail-lower tests · Updated 2025-11-11 16:16:44 +00:00

14
3

75f36b2950 · Add extern keyword in web editor syntax · Updated 2025-11-11 12:18:18 +00:00

15
2

26bb053b1e · Fix web demo deployment · Updated 2025-11-06 11:34:37 +00:00

17
1
fix-405
Some checks failed
Check nix code / Check nix code (push) Has been cancelled

366678dce5 · Improve naming of OverlaySource fields · Updated 2025-11-06 11:30:19 +00:00

17
11

302d9b9340 · Remove deprecated apple sdk · Updated 2025-11-04 14:18:51 +00:00

18
3