senvas

senvas pushed to refactor2 at syntaxAlchemist/lib-nested

2024-11-17 14:16:54 +01:00

c4226281e1 repr tree: add type alias ReprTreeArc

dad789227c char editor: move ctx to separate file

2c2268c918 repr tree: create reprtree with a single path from type ladder

fe4b571b8c lib-nested-tty: reactivate list-cursor widget via new TreeNavExt trait

e09f3e5656 add lines exapmle

Compare 6 commits »

senvas pushed to dev at Fragmental/light-control

2024-11-08 20:12:24 +01:00

488b307cc3 update winit

senvas pushed to refactor2 at syntaxAlchemist/lib-nested

2024-10-28 22:21:31 +01:00

02b8574038 add dictionary example

50fe43df97 context: switch to BimapTypeDict

af34fc9976 add more seq->list & list->vec morphisms

Compare 3 commits »

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes

2024-10-28 19:59:52 +01:00

f61605a865 add Send+Sync trait bound to TypeDict

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes

2024-10-28 19:59:17 +01:00

eec78f24ab fix find_morphism_path

senvas deleted branch wip from syntaxAlchemist/lib-nested

2024-10-27 13:57:59 +01:00

senvas created branch topic-product-editor in syntaxAlchemist/lib-nested

2024-10-27 13:38:36 +01:00

senvas pushed to topic-product-editor at syntaxAlchemist/lib-nested

2024-10-27 13:38:36 +01:00

71d8fefc3c ProductEditorSegment docstrings

senvas created branch topic-cursor-gravity in syntaxAlchemist/lib-nested

2024-10-27 13:35:30 +01:00

senvas pushed to topic-cursor-gravity at syntaxAlchemist/lib-nested

2024-10-27 13:35:30 +01:00

6931813a39 wip: cursor gravity mode

senvas pushed to dev2 at syntaxAlchemist/lt-core

2024-10-21 12:00:01 +02:00

4bc7fd1788 add import statement

a948b53d9a ltvm: remove unneccesary symbol table

Compare 2 commits »

senvas pushed to dev2 at syntaxAlchemist/lt-core

2024-10-21 00:35:14 +02:00

45869fdd30 fixup symbol export

senvas pushed to dev2 at syntaxAlchemist/lt-core

2024-10-18 22:05:06 +02:00

489d9886e3 remove oldmain.rs

senvas created branch dev2 in syntaxAlchemist/lt-core

2024-10-18 21:24:46 +02:00

senvas pushed to dev2 at syntaxAlchemist/lt-core

2024-10-18 21:24:46 +02:00

b268544955 ltcc: output separate runtime.lt.o to avoid duplication when loading multiple object files in ltvm

388454e083 add ltobjdump

6b577e91f8 fix compilation: insert procedures at front, ltvm: use 0 as default entrypoint

5c2a610d31 ltcc: exit with error code when typecheck or compilation fails

Compare 4 commits »

senvas pushed to dev at syntaxAlchemist/lib-tisc

2024-10-18 20:57:48 +02:00

3a55cd32dd add (de-)serializable ObjectFile

90bca05e2c disassemble: fix opcode range check

Compare 2 commits »

senvas pushed to dev at syntaxAlchemist/lt-core

2024-10-09 07:28:52 +02:00

b8535aa772 wip typing

c9c42d383f ltcc: add laddertypes dependency

d295243dd0 wip infer_type

2ac69a7b12 expr: replace old builder functions with direct constructors; add more region tags

1a152670d3 runtime types

Compare 16 commits »

senvas pushed to master at senvas/handlebar-grip

2024-10-07 22:15:15 +02:00

e2611ab482 add modules per material

bc663dabb6 make ripple stencil a bit looser

Compare 2 commits »

senvas pushed to master at senvas/handlebar-grip

2024-10-07 21:44:26 +02:00

a94511fd6a add another cut for more ergonomy

d150fea651 refactor ripple_stencil into separate module

9af9463dbf make hexagons bigger

Compare 3 commits »

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes

2024-10-06 14:38:59 +02:00

619c2dc3e4 check if term is empty

96c523ada1 add Debug for Bimap & BimapTypeDict

67477b8439 make TypeDict a trait & BimapTypeDict an impl

Compare 3 commits »