senvas
0 followers · 0 following
  • Joined on 2024-02-15
Repositories
3
 Projects Packages Public activity Starred repositories
senvas created branch topic-lib-structure in syntaxAlchemist/lt-core 2024-08-14 00:27:27 +02:00
senvas pushed to topic-lib-structure at syntaxAlchemist/lt-core 2024-08-14 00:27:27 +02:00
6c6f283352 diagnostic formatting: respect tab characters
184c8f3d50 separate crates for compiler-lib, compiler-cli and vm
Compare 2 commits »
senvas created branch master in senvas/handlebar-grip 2024-08-14 00:03:05 +02:00
senvas pushed to master at senvas/handlebar-grip 2024-08-14 00:03:05 +02:00
d4ad7cb4be initial commit
senvas created repository senvas/handlebar-grip 2024-08-13 20:03:19 +02:00
senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes 2024-08-12 21:19:11 +02:00
5d7668573a initial implementation of solver for steiner trees
senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes 2024-08-11 22:52:14 +02:00
493b8a864c morphism base: find shortest path instead of just some path
senvas pushed to wip at syntaxAlchemist/lib-nested 2024-08-10 13:18:29 +02:00
10cbeb52a3 wip
senvas created branch wip in syntaxAlchemist/lib-nested 2024-08-10 13:17:49 +02:00
senvas pushed to wip at syntaxAlchemist/lib-nested 2024-08-10 13:17:49 +02:00
0bcfd7a65a call edittree_hook in morphisms already, add edittree() getter in ReprTreeExt to further simplify application code
senvas created branch wip in senvas/ladder-calculus 2024-08-10 13:16:50 +02:00
senvas pushed to wip at senvas/ladder-calculus 2024-08-10 13:16:50 +02:00
bab13389d2 wip
senvas pushed to dev at Fragmental/light-control 2024-08-10 13:12:17 +02:00
67d7afbd78 arctic rain: make stretch on wheel3 parameter
ac15e16a7c make initial mirror_y setup symmetric
1dd9ab4e94 add oneshotman
56a9480f0a add mirror_y feature
1e3a92000a move controller to separate module
Compare 6 commits »
senvas pushed to refactor at syntaxAlchemist/lib-nested 2024-08-09 02:33:55 +02:00
7762fa4b12 simplify posint example
786866746c integer radix convert: insert one zero digit in case value is zero
Compare 2 commits »
senvas pushed to dev at syntaxAlchemist/lib-r3vi 2024-08-09 02:07:43 +02:00
a795270515 add vec2sgl projection
senvas pushed to dev at syntaxAlchemist/lib-r3vi 2024-08-09 01:14:29 +02:00
0ee2e1ef3b add seq2list projection
senvas pushed to master at senvas/ladder-calculus 2024-08-08 13:20:35 +02:00
8da65e4d38 coercion semantics
b8e8543813 paper: subtype relation
06dba1f348 paper: add type equivalence
35e0a9b62b paper:work on syntax definition & substitutions
Compare 4 commits »
senvas pushed to master at senvas/ladder-calculus 2024-08-07 16:00:30 +02:00
3f27afa253 paper: simplify pseudo grammar
f135a5ed43 paper: add appendix with coq listings
Compare 2 commits »
senvas pushed to refactor at syntaxAlchemist/lib-nested 2024-08-06 16:29:40 +02:00
8d637a6f32 add ReprTree::from_str() to simplify creation of initial representation nodes
6e2b82585e in context.apply_morphism() now use find_morphism_path() to automatically find chained morphisms to create projections in ReprTree
ffeb4b8e73 repr tree: create new VecBuffer in case attach_to() is called on Vec<EditTree>
508e716a6a repr tree: split leaf & node into separate files
Compare 4 commits »
senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes 2024-08-06 15:37:36 +02:00
e0334f4d5c fix returned halo type in find_morphism_with_subtyping()