senvas

senvas pushed to dev at syntaxAlchemist/lib-laddertypes

2025-02-09 12:43:06 +01:00

3c5d7111bc Merge branch 'fix-pnf' into dev

a9a35aed1b rewrite param_normalize()

4a6a35a897 pnf: add test for collapsing first application argument

4aa62d4813 Merge branch 'topic-sugar' into dev

c6bad6046a add sugared terms & pretty printing

Compare 6 commits »

senvas pushed to topic-sugar at syntaxAlchemist/lib-laddertypes

2025-02-09 12:38:19 +01:00

c6bad6046a add sugared terms & pretty printing

c03db48fd2 TypeID: add Copy trait

a4837038e6 Merge branch 'topic-parameter-normal-form' into dev

658134d56a readme: add syntax description and roadmap

02d8815acd add param_normalize() to get Parameter-Normal-Form (PNF)

Compare 5 commits »

senvas pushed to topic-sugar-wip at syntaxAlchemist/lib-laddertypes

2025-02-09 12:37:30 +01:00

71a8f4e06b wip sugar

91cd1cd7d8 add sugared terms & pretty printing

2d387e6279 TypeID: add Copy trait

Compare 3 commits »

senvas created branch topic-sugar-wip in syntaxAlchemist/lib-laddertypes

2025-02-09 12:35:49 +01:00

senvas pushed to topic-sugar-wip at syntaxAlchemist/lib-laddertypes

2025-02-09 12:35:49 +01:00

3903cbdecd wip sugar

senvas pushed to topic-sugar at syntaxAlchemist/lib-laddertypes

2025-02-09 12:35:25 +01:00

91cd1cd7d8 add sugared terms & pretty printing

2d387e6279 TypeID: add Copy trait

Compare 2 commits »

senvas pushed to fix-pnf at syntaxAlchemist/lib-laddertypes

2025-02-09 12:21:48 +01:00

e9379aaf88 rewrite param_normalize()

571b4109b3 wip pnf

c6f5bd9318 pnf: add test for collapsing first application argument

Compare 3 commits »

senvas created branch topic-unification in syntaxAlchemist/lib-laddertypes

2025-02-09 12:13:38 +01:00

senvas pushed to topic-unification at syntaxAlchemist/lib-laddertypes

2025-02-09 12:13:38 +01:00

389d9559cd unification: remove unreachable pattern

senvas pushed to fix-pnf at syntaxAlchemist/lib-laddertypes

2025-02-08 20:21:44 +01:00

1a3f0e45e4 rewrite param_normalize()

1e8bd899bf unification: remove unreachable pattern

d4705c3e39 wip pnf

Compare 3 commits »

senvas pushed to master at syntaxAlchemist/ldmc

2025-02-05 11:26:51 +01:00

959d2f9185 wip generating map morphism

e07b3585f9 add C functions for map lengthPrefix

10dab73876 digit morphisms: switch char to uint8_t

59c0ea8e57 add morphisms to MorphismBase, first generation of C code for pipe-utility from ladder types

Compare 4 commits »

senvas pushed to fix-pnf at syntaxAlchemist/lib-laddertypes

2025-02-05 11:06:43 +01:00

3b4c29e4cb wip pnf

senvas pushed to master at Fragmental/noten

2025-02-04 19:32:05 +01:00

d238a31548 chocoloco pdf

7e48a29580 chocoloco add guitar in violin&bass keys

Compare 2 commits »

senvas created branch fix-pnf in syntaxAlchemist/lib-laddertypes

2025-02-04 15:15:12 +01:00

senvas pushed to fix-pnf at syntaxAlchemist/lib-laddertypes

2025-02-04 15:15:12 +01:00

991c6bd071 pnf: add test for collapsing first application argument

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

2025-02-04 14:36:20 +01:00

c26d16444c morphism base: store vec of seq-types

9121acaa8a fix tests

7838b3817e pretty: output escape character for \0 and \n

Compare 3 commits »

senvas pushed to master at Fragmental/noten

2025-02-04 13:49:01 +01:00

6f2400a616 chocoloco add remaining parts

senvas pushed to master at syntaxAlchemist/ldmc

2025-02-03 18:41:11 +01:00

1068b8ed45 load multiple morphism base files

senvas pushed to master at syntaxAlchemist/ldmc

2025-02-03 17:55:36 +01:00

88978d9008 function to determine C-type to represent a ladder type, for morphism generate expected C-signatures & calls

e544b82a4c morphism base: remove syntax sugar for Seq for now

8e0ac3cbbc gitignore

23b2dcaf82 posint morph code size benchmark

e500a24d2a read morphism base from file

Compare 5 commits »

senvas pushed to master at Fragmental/noten

2025-02-01 15:43:32 +01:00

687070d650 chocoloco part b