|
|
69693a4995
|
defer skolem issue from unsolved meta application
|
2024-11-09 14:50:50 -08:00 |
|
|
|
3daf6b4dc2
|
add list concat sample
|
2024-11-09 10:01:50 -08:00 |
|
|
|
bd51c8352a
|
expand scrutinee in eval
|
2024-11-08 20:46:34 -08:00 |
|
|
|
adc967c464
|
tweaks to playground
|
2024-11-08 19:50:26 -08:00 |
|
|
|
f0c9e3bf63
|
Add Tour.newt sample and make it the default.
Improvements to editor support.
|
2024-11-07 21:37:30 -08:00 |
|
|
|
24ab6aa212
|
add samples to playground
|
2024-11-06 22:12:43 -08:00 |
|
