This website requires JavaScript.
997adfd04c
handle icons differently in playground
Steve Dunham
2026-01-11 09:37:58 -08:00
e80f0e2ba7
github icon in playground
Steve Dunham
2026-01-10 20:27:53 -08:00
61f82a9d5d
Add REPL
Steve Dunham
2026-01-08 21:47:58 -08:00
4c058bfb77
update preact (npm audit)
Steve Dunham
2026-01-07 16:00:17 -08:00
87dbf210e0
update bootstrap file
Steve Dunham
2026-01-06 10:25:09 -08:00
31cc891046
names from types on add missing cases
Steve Dunham
2026-01-05 21:25:55 -08:00
2ca43b6350
Dependent records
Steve Dunham
2026-01-05 20:52:35 -08:00
80b0faf9c4
updates to tour
Steve Dunham
2026-01-05 20:30:18 -08:00
6eb72cffd8
fix add missing cases in vscode
Steve Dunham
2026-01-05 20:29:58 -08:00
c56270c183
Track module dependencies
Steve Dunham
2025-12-31 21:30:05 -08:00
bfe79d65ea
remove redundant $
Steve Dunham
2025-12-30 22:00:27 -08:00
0dfa96cb5e
use new case syntax instead of the
Steve Dunham
2025-12-29 10:48:22 -08:00
9e69708c1c
update bootstrap
Steve Dunham
2025-12-29 10:35:33 -08:00
71b0e3af92
updates for prelude changes
Steve Dunham
2025-12-29 10:34:47 -08:00
f4d1e86319
Optional type annotation on case scrutinee
Steve Dunham
2025-12-29 10:24:15 -08:00
7d262d9930
aoc2025 - add missing file, update for Prelude change
Steve Dunham
2025-12-29 10:22:39 -08:00
223b1563a9
pattern matching can dot with applied vars
Steve Dunham
2025-12-29 09:51:30 -08:00
3abd18ce48
updates to playground help/comments
Steve Dunham
2025-12-29 09:49:07 -08:00
391b9092b4
highlight js and improve appearance in playground
Steve Dunham
2025-12-28 12:08:10 -08:00
70348f3e5d
Show Either
Steve Dunham
2025-12-26 19:52:18 -08:00
d19f39fa18
additional cast from AoC
Steve Dunham
2025-12-26 13:02:27 -08:00
9bbc7208d7
Surface erasure errors in editor, fix issue checking erasure after inlining
Steve Dunham
2025-12-26 13:00:53 -08:00
2137e102e7
Day 12
Steve Dunham
2025-12-17 21:04:15 -08:00
02ea9dad95
Day 10 (z3 version)
Steve Dunham
2025-12-17 19:56:01 -08:00
6590efa91c
top.errors doesn't need to be an IORef
Steve Dunham
2025-12-17 09:35:08 -08:00
a824b1403b
playground markdown tweaks
Steve Dunham
2025-12-17 09:31:27 -08:00
e871ede85f
Library additions from AoC
Steve Dunham
2025-12-16 20:09:46 -08:00
fe3e25f009
AoC todos and tweaks
Steve Dunham
2025-12-13 14:51:26 -08:00
c938a2e3cd
Day 11
Steve Dunham
2025-12-10 22:05:52 -08:00
ef37956f3b
Day 9 - don't bother with qsort
Steve Dunham
2025-12-09 09:26:24 -08:00
c2537f08b0
Day 9
Steve Dunham
2025-12-09 09:06:50 -08:00
55e9476607
Change Show for List to include brackets
Steve Dunham
2025-12-08 08:25:01 -08:00
6c836a6ef4
Day 8
Steve Dunham
2025-12-08 08:07:44 -08:00
a9c588be76
Day 7
Steve Dunham
2025-12-06 22:32:44 -08:00
5bd3572ba4
playground auto layout on size, icon changes
Steve Dunham
2025-12-06 21:00:37 -08:00
3ed189825b
Day 6
Steve Dunham
2025-12-05 22:46:16 -08:00
e810337cf2
Day 5
Steve Dunham
2025-12-04 22:51:58 -08:00
7de34da379
Day 4
Steve Dunham
2025-12-03 22:10:19 -08:00
dabc82ff1a
try linking to folders in readme
Steve Dunham
2025-12-03 11:52:27 -08:00
06a1c2ff51
Day3
Steve Dunham
2025-12-02 22:17:20 -08:00
4604dad962
Day2 - use numbers
Steve Dunham
2025-12-02 08:22:53 -08:00
a42bb8d49c
Day2, don't accumulate lists
Steve Dunham
2025-12-01 22:38:54 -08:00
085c5ba329
AoC 2025 Day2
Steve Dunham
2025-12-01 22:23:16 -08:00
940d1ae8b1
AoC 2025 - Day 1
Steve Dunham
2025-12-01 08:46:49 -08:00
aa0a12f402
remove old files
Steve Dunham
2025-11-25 17:03:29 -08:00
f62dd1c112
update dependencies
Steve Dunham
2025-11-18 08:19:43 -08:00
30ff87c2e2
log issue
Steve Dunham
2025-11-17 09:34:13 -08:00
f04813519c
update dependencies
Steve Dunham
2025-11-15 14:19:23 -08:00
75716091af
Update Combinatory.newt, fix parse error
Steve Dunham
2025-11-15 14:18:12 -08:00
acb240db3f
update bootstrap
Steve Dunham
2025-11-14 21:47:36 -08:00
63687499dc
check impossible clauses
Steve Dunham
2025-11-14 21:45:19 -08:00
79113fbce5
add impossible clauses (not checked yet)
Steve Dunham
2025-11-14 10:53:35 -08:00
a0bab1cf5c
update serializer.ts to work with current object formats
Steve Dunham
2025-11-13 10:36:55 -08:00
2853de310b
add some missing files, clean up a little
Steve Dunham
2025-11-10 22:28:32 -08:00
d2e4664fc8
npm audit
Steve Dunham
2025-11-05 09:02:50 -08:00
e8b00ad680
Updates to highlighting in playground
Steve Dunham
2025-11-05 08:04:23 -08:00
1b0aeb1eac
change domain
Steve Dunham
2025-11-01 08:14:57 -07:00
d763be55d4
Update LiftLambda to erase Zero args
Steve Dunham
2025-10-26 09:40:41 -07:00
7055874dbb
Remove old aoc2023 directory
Steve Dunham
2025-10-25 13:32:30 -07:00
551e31d589
Fix issue when multiple constructors are defined on one line. Update aoc2024 tests to not use debugStr.
Steve Dunham
2025-10-24 14:50:26 -07:00
8aee58c23b
erase arts in lifted where functions
Steve Dunham
2025-10-24 11:09:57 -07:00
11ffd96a91
Remove erased function arguments
Steve Dunham
2025-10-23 22:29:04 -07:00
e9a02d30a5
update bootstrap
Steve Dunham
2025-10-20 15:23:14 -07:00
6a4da51e8a
use if/then/else for some constructor cases
Steve Dunham
2025-10-20 15:22:00 -07:00
15b892510e
Map Bool-shaped things to javascript bool, add if/then and tertiary to code gen
Steve Dunham
2025-10-20 11:08:12 -07:00
e45d194d7f
recheck file when switching editors in vscode
Steve Dunham
2025-10-11 22:03:11 -07:00
f16c3d87e4
update bootstrap
Steve Dunham
2025-10-11 21:48:50 -07:00
2794f8fe85
Cleanup some old comments, use record update a bit more
Steve Dunham
2025-10-11 21:45:26 -07:00
ddc73fb41a
Change Show FC format to match vscode's expectation
Steve Dunham
2025-10-11 16:36:23 -07:00
c39d1354c8
Primitive "Add missing cases" for vscode
Steve Dunham
2025-10-11 13:17:44 -07:00
746e1eedca
update bootstrap file
Steve Dunham
2025-10-10 16:26:49 -07:00
2af6ef1c1b
File locations are now ranges.
Steve Dunham
2025-10-10 16:26:03 -07:00
6b9da23478
smarter completion (via context)
Steve Dunham
2025-10-10 10:36:44 -07:00
b014e8d3e6
less noisy file errors
Steve Dunham
2025-10-10 10:36:22 -07:00
2a5e5ae4f5
add error for stray, incorrect constructors
Steve Dunham
2025-10-10 09:03:25 -07:00
78b9f958de
refresh bootstrap
Steve Dunham
2025-10-06 15:22:12 -07:00
be40c431fe
Add error when a constructor is used for a primitive argument.
Steve Dunham
2025-10-06 15:20:44 -07:00
207d7afecf
JS package cleanup
Steve Dunham
2025-10-06 15:08:53 -07:00
8cfe91343e
Lambda lifting (for non-javascript backends)
Steve Dunham
2025-10-06 15:08:36 -07:00
fc987a6f11
cleanup
Steve Dunham
2025-10-04 18:11:24 -07:00
8209d2d839
Use numbers for constructor tags.
Steve Dunham
2025-10-04 14:41:48 -07:00
f1e6f98c99
Combinatory checks now, probably from fixes to eval
Steve Dunham
2025-10-03 08:54:55 -07:00
404b64a06e
npm audit fix
Steve Dunham
2025-09-29 12:43:43 -07:00
495ed78c80
Use 1-based row/column in error messages
Steve Dunham
2025-09-29 12:42:13 -07:00
bab25f8dce
cleanup TODO.md a little
Steve Dunham
2025-09-29 11:59:57 -07:00
f3a5e9012c
Remove original Idris version of newt.
Steve Dunham
2025-09-29 11:59:13 -07:00
a53c5b4fba
cleanup
Steve Dunham
2025-09-29 10:50:22 -07:00
36d9f81f61
move inline/substMeta to compile step
Steve Dunham
2025-09-23 20:43:46 -07:00
3143fa7b0a
More inlining, fix issues in eval of case
Steve Dunham
2025-09-23 20:22:50 -07:00
cc7d8b4968
int add becomes +
Steve Dunham
2025-09-20 19:58:39 -07:00
49c90cce6d
inline "simple" functions and inline after app in inline
Steve Dunham
2025-09-20 17:21:19 -07:00
de71ea2f26
Initial implementation of inlining
Steve Dunham
2025-09-20 10:54:54 -07:00
97c50a254a
the "mode" argument to eval was unused and not fully propagated
Steve Dunham
2025-09-02 21:10:32 -07:00
a3801b8ba0
Remove some unnecessary assignments from codegen
Steve Dunham
2025-09-01 16:21:43 -07:00
1432316fac
SortedMap uses any comparator
Steve Dunham
2025-09-01 15:39:35 -07:00
27d9250d34
Fix build of newt3.js
Steve Dunham
2025-09-01 12:05:58 -07:00
f90d171598
improve QName comparison time
Steve Dunham
2025-08-29 11:08:34 -07:00
33a4cf6070
Fix issue building newt
Steve Dunham
2025-08-28 21:24:29 -07:00
fcee117260
[ libs ] move prelude file to src
Steve Dunham
2025-07-27 15:00:24 -07:00
0c72d690e3
[ libs ] add DecEq to Prelude
Steve Dunham
2025-07-27 14:57:21 -07:00
Steve Dunham