senvas

0 followers · 0 following

• Joined on 2024-02-15
• • 

Projects Packages Public activity Starred repositories

579 contributions in the last 12 months

Less

More

senvas pushed to topic-parser at syntaxAlchemist/lib-laddertypes 2025-06-20 15:24:05 +02:00

a03680d380 parser: add parsing of sugared func/morph arrows

9acf53945a lexer: add arrow tokens

1ab5ac0c58 parser: add parsing of sugared enums

86c1d15d33 begin extending parser

Compare 4 commits »

senvas pushed to topic-parser at syntaxAlchemist/lib-laddertypes 2025-06-20 15:15:56 +02:00

4367a25a6a parser: add parsing of sugared func/morph arrows

senvas pushed to topic-parser at syntaxAlchemist/lib-laddertypes 2025-06-20 14:35:38 +02:00

2aa477d4f2 lexer: add arrow tokens

senvas pushed to topic-parser at syntaxAlchemist/lib-laddertypes 2025-06-20 14:23:42 +02:00

a6153f5091 parser: add parsing of sugared enums

senvas created branch topic-parser in syntaxAlchemist/lib-laddertypes 2025-06-20 14:16:13 +02:00

senvas pushed to topic-parser at syntaxAlchemist/lib-laddertypes 2025-06-20 14:16:13 +02:00

9788c5600f parser: add parsing of sugared enums

0375238e96 begin extending parser

Compare 2 commits »

senvas pushed to topic-morphisms-example at syntaxAlchemist/ldmc 2025-06-19 16:11:44 +02:00

89b730ea7d substitutions & contexts

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-19 16:08:28 +02:00

abc8e1fc1e restructure contexts & substitutions,

senvas pushed to topic-morphisms-example at syntaxAlchemist/ldmc 2025-06-14 13:22:20 +02:00

4674e75e99 morphism base: new syntax

64e8b96c92 adapt to changes in lib-laddertypes

6897b5e274 adapt to changed MorphismInstance in lib-laddertypes

Compare 3 commits »

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-14 12:56:16 +02:00

41c4428c89 type: preliminarily forbit \; in types

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-14 12:34:48 +02:00

831aefb112 .

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-13 17:37:23 +02:00

7f844f2a2d morphism graph: cycle detection: exclude trivial loop through Id Step

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-13 17:27:44 +02:00

e2f7a363d7 morphism graph: make all structure reprs optional

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-13 17:10:52 +02:00

93634c2656 add shift_variables() and in Morphism trait add ctx()

5af2b59278 pretty: fix dict call to get_varname

1e29653c61 avoid unwrap() due to unspecified struct repr; default to type-id magic for native representation

Compare 3 commits »

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:42:57 +02:00

34f5ccafb3 triple backquotes & type charset

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:39:30 +02:00

806135eb8e triple backquotes & type charset

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:37:39 +02:00

d94438ff99 triple backquotes & type charset

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:33:29 +02:00

67f446198c triple backquotes & type charset

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:30:02 +02:00

d101b1f0db triple backquotes & type charset

senvas pushed to dev at syntaxAlchemist/tree-sitter-morphismbase 2025-06-13 10:13:24 +02:00

21646a9209 add highlights; test on simplified grammar