|
|
d36f6ddacb
|
Add missing import in vscode, fix add missing cases at EOF
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-02-07 22:25:18 -08:00 |
|
|
|
83e4adb45b
|
update bootstrap
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-02-07 16:57:23 -08:00 |
|
|
|
bca61f95a0
|
Improve error locations
|
2026-02-07 16:55:33 -08:00 |
|
|
|
d1729afea7
|
extension now names the file for external errors
|
2026-02-07 16:39:15 -08:00 |
|
|
|
2766a4ae01
|
Unsolved metas are errors
|
2026-02-07 16:26:07 -08:00 |
|
|
|
fca22a9828
|
update bootstrap
|
2026-02-07 11:05:30 -08:00 |
|
|
|
00296f4d10
|
Allow local names to override imports
|
2026-02-07 11:02:51 -08:00 |
|
|
|
0c206a94ab
|
Forward declaration syntax for data
Allow:
```newt
data Foo : U
```
as a forward declaration for data. (The `Foo : U` syntax still works for
now.)
|
2026-02-07 07:52:00 -08:00 |
|
|
|
79ab29f090
|
update bootstrap
|
2026-02-06 21:14:17 -08:00 |
|
|
|
9249c4c641
|
Invalidate on :load
|
2026-02-04 20:56:58 -08:00 |
|
|
|
d803af10aa
|
Add Foldable class
|
2026-01-31 16:29:16 -08:00 |
|
|
|
c3e70c9ecc
|
operator sections
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-01-31 13:21:23 -08:00 |
|
|
|
eed5c09508
|
Minor changes
|
2026-01-31 12:52:01 -08:00 |
|
|
|
f3a18fa658
|
Fix stray skolem issue
Sometimes a Bound variable on the LHS became Defined to itself.
This commit also resurfaces INFO messages, to aid finding the root
cause of errors.
|
2026-01-31 12:49:39 -08:00 |
|
|
|
56821c1711
|
Add some stray files
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-01-23 12:00:00 -08:00 |
|
|
|
84c4008724
|
check in test from dependent record fix
|
2026-01-23 08:53:49 -08:00 |
|
|
|
3dd9955533
|
Postpone non-linear solutions
|
2026-01-23 08:49:30 -08:00 |
|
|
|
b32f345f55
|
aoc2025 test script
|
2026-01-20 17:39:05 -08:00 |
|
|
|
b653a37d2c
|
update bootstrap file
|
2026-01-18 22:04:24 -08:00 |
|
|
|
43401156eb
|
Fix error in parser combinator
|
2026-01-18 22:03:34 -08:00 |
|
|
|
28a0d461f1
|
temporary favicon
|
2026-01-16 20:10:46 -08:00 |
|
|
|
f19a758d25
|
TODO.md updates
|
2026-01-16 10:40:04 -08:00 |
|
|
|
77a052ca98
|
remove unused fatal flag in parser
|
2026-01-16 10:39:31 -08:00 |
|
|
|
a21dd2fd94
|
fix issue with try in parser, improve parse error message
|
2026-01-16 10:30:41 -08:00 |
|
|
|
997adfd04c
|
handle icons differently in playground
|
2026-01-11 09:37:58 -08:00 |
|
|
|
e80f0e2ba7
|
github icon in playground
|
2026-01-10 20:27:53 -08:00 |
|
|
|
61f82a9d5d
|
Add REPL
|
2026-01-08 21:47:58 -08:00 |
|
|
|
4c058bfb77
|
update preact (npm audit)
|
2026-01-07 16:00:26 -08:00 |
|
|
|
87dbf210e0
|
update bootstrap file
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2026-01-06 10:25:09 -08:00 |
|
|
|
31cc891046
|
names from types on add missing cases
|
2026-01-05 21:25:55 -08:00 |
|
|
|
2ca43b6350
|
Dependent records
The projection functions needed `foo` -> `self .foo` in the types
|
2026-01-05 20:52:35 -08:00 |
|
|
|
80b0faf9c4
|
updates to tour
|
2026-01-05 20:30:18 -08:00 |
|
|
|
6eb72cffd8
|
fix add missing cases in vscode
|
2026-01-05 20:29:58 -08:00 |
|
|
|
c56270c183
|
Track module dependencies
|
2025-12-31 21:30:05 -08:00 |
|
|
|
bfe79d65ea
|
remove redundant $
|
2025-12-30 22:00:27 -08:00 |
|
|
|
0dfa96cb5e
|
use new case syntax instead of the
|
2025-12-29 10:48:22 -08:00 |
|
|
|
9e69708c1c
|
update bootstrap
|
2025-12-29 10:35:33 -08:00 |
|
|
|
71b0e3af92
|
updates for prelude changes
|
2025-12-29 10:34:47 -08:00 |
|
|
|
f4d1e86319
|
Optional type annotation on case scrutinee
|
2025-12-29 10:24:15 -08:00 |
|
|
|
7d262d9930
|
aoc2025 - add missing file, update for Prelude change
|
2025-12-29 10:22:39 -08:00 |
|
|
|
223b1563a9
|
pattern matching can dot with applied vars
|
2025-12-29 09:51:30 -08:00 |
|
|
|
3abd18ce48
|
updates to playground help/comments
|
2025-12-29 09:49:07 -08:00 |
|
|
|
391b9092b4
|
highlight js and improve appearance in playground
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2025-12-28 12:08:10 -08:00 |
|
|
|
70348f3e5d
|
Show Either
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2025-12-26 19:52:18 -08:00 |
|
|
|
d19f39fa18
|
additional cast from AoC
Publish Playground / build (push) Has been cancelled
Publish Playground / deploy (push) Has been cancelled
|
2025-12-26 13:02:27 -08:00 |
|
|
|
9bbc7208d7
|
Surface erasure errors in editor, fix issue checking erasure after inlining
|
2025-12-26 13:01:30 -08:00 |
|
|
|
2137e102e7
|
Day 12
|
2025-12-17 21:04:15 -08:00 |
|
|
|
02ea9dad95
|
Day 10 (z3 version)
|
2025-12-17 19:56:01 -08:00 |
|
|
|
6590efa91c
|
top.errors doesn't need to be an IORef
|
2025-12-17 09:37:05 -08:00 |
|
|
|
a824b1403b
|
playground markdown tweaks
|
2025-12-17 09:31:27 -08:00 |
|
