dunham

dunham pushed to main at dunham/newt

2026-03-28 16:37:15 +00:00

697c5f2641 fix updating of javascript/scheme in playground

babbd01975 Fix LSP crash and tokenizer issue

c014233987 debug lsp crashes

aa6604038b cleanup

Compare 4 commits »

dunham pushed to main at dunham/newt

2026-03-25 23:20:54 +00:00

a40956a4cc fix names growing in liftWhere and redundant error for ErrorHole

c6835b9dfe scheme types need not store their indices

9b8a7953dd fixes to scheme in playground

Compare 3 commits »

dunham pushed to main at dunham/newt

2026-03-21 18:39:52 +00:00

f5a9aae070 also show scheme code in web playground

9652903df1 enable tests on scheme, fix error handling on scheme

da1f2705ee Remove erased function args in scheme

f3f9d737cf also drop singleton cases for lit / default

Compare 4 commits »

dunham pushed to main at dunham/newt

2026-03-19 02:43:08 +00:00

cfdddbb002 cons/nil for pair/unit in scheme backend

5eb43f6252 Cons/Nil optimization for scheme backend

4ce5d470ba streamline generated code a little

Compare 3 commits »

dunham pushed to main at dunham/newt

2026-03-17 02:57:15 +00:00

fe96f46534 First pass at a scheme backend

92ced8dcd2 LSP document symbols

90e36d8faf Remove some ambiguities in parsing

b1c2bfc896 Add Functor Either a

c26b283899 try CI on tangled.org

Compare 5 commits »

dunham pushed to main at dunham/tree-sitter-newt

2026-03-09 15:39:47 +00:00

1a9e76b3e9 case/let and some cleanup of the cst

eaf020bb91 record syntax

4e2c67c12d language injection

7518c95769 partially working

bb510fea4a initial commit

dunham created branch main in dunham/tree-sitter-newt

2026-03-09 15:39:47 +00:00

dunham created repository dunham/tree-sitter-newt

2026-03-09 15:39:12 +00:00

dunham pushed to main at dunham/newt

2026-02-28 05:54:11 +00:00

ea7ba4ea40 fixes for Linux nvim support

dunham pushed to main at dunham/newt

2026-02-28 04:47:48 +00:00

2075f2dfc3 update bootstrap

0d974dd42d fix parse issue for typed lamda arguments

7a763bf40a Looping TCO for singleton components

c4ff0c7c8c playground build issues

c6d6c8df7e todo list updates

Compare 9 commits »

dunham pushed to main at dunham/newt

2026-02-25 05:22:00 +00:00

c15f22a180 Use deriving

79ed4bf2c2 update bootstrap

983dde4de2 derive Show and Eq, improvements to LSP

a789cffcce move Error to its own file

90e4bba766 Jump to source for imports

Compare 5 commits »

dunham pushed to main at dunham/newt

2026-02-24 17:34:45 +00:00

ccdb15c6ec import action for out of scope names, start introducing error types

134c9f11db Skip indented rows when adding case

69a7b6bed8 Fix LSP slowness, improve error messages

3cc3801f4d Add "intro" to LSP, improve error locations

Compare 4 commits »

dunham pushed to main at dunham/newt

2026-02-23 02:49:39 +00:00

673c79b786 fix aoc2025 tests, consider greek when determining uppercase

34744a8edc refactor TopContext to use a ModContext for the current context

0a5ad3cc9b Switch to esm, add #export statement to newt, tweaks to LSP

c54b856f0b Don't allow uppercase pattern variables

7d5789147d cleanup

Compare 27 commits »

dunham pushed to main at dunham/newt

2026-02-13 04:49:04 +00:00

a9718621e3 Initial LSP implementation/vscode support

01a05ba186 skip indented lines in add missing cases

6c4d01d4c4 check in import loop test, remove dead code/comment

Compare 3 commits »

dunham pushed to main at dunham/newt

2026-02-12 03:55:12 +00:00

ad4dce9d0e Use List String for module name, add abstraction for loading files (prep for LSP)

7048553906 cleanup/changes to vscode package.json

Compare 2 commits »

dunham pushed to main at dunham/newt

2026-02-11 21:33:10 +00:00

6a16dc6150 better name for metas

eb9921212c use record update for top

340457cab7 [ repl ] don't exit early on error

a17a9c4342 fix pipe issue in REPL, add ability to dump top in repl

08ed4178cf Fix FC on imports - make empty bounds the identity

Compare 5 commits »

dunham pushed to main at dunham/newt

2026-02-08 07:15:29 +00:00

d36f6ddacb Add missing import in vscode, fix add missing cases at EOF

dunham pushed to main at dunham/newt

2026-02-08 04:18:09 +00:00

83e4adb45b update bootstrap

bca61f95a0 Improve error locations

d1729afea7 extension now names the file for external errors

2766a4ae01 Unsolved metas are errors

fca22a9828 update bootstrap

Compare 10 commits »

dunham pushed to main at dunham/newt

2026-01-31 21:21:59 +00:00

c3e70c9ecc operator sections

eed5c09508 Minor changes

f3a18fa658 Fix stray skolem issue

Compare 3 commits »

dunham pushed to main at dunham/newt

2026-01-24 17:13:16 +00:00

56821c1711 Add some stray files

84c4008724 check in test from dependent record fix

3dd9955533 Postpone non-linear solutions

b32f345f55 aoc2025 test script

b653a37d2c update bootstrap file

Compare 14 commits »