lnsol

0 followers · 0 following

• Joined on 2025-04-30

Repositories

3

Projects Packages Public activity Starred repositories

lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-13 15:36:41 +00:00

e036fa16f8 recursive lockstep example

lnsol created branch main in lnsol/log-e-audioc 2025-06-13 10:56:17 +00:00

lnsol pushed to main at lnsol/log-e-audioc 2025-06-13 10:56:17 +00:00

4ade3a5f00 initcommit osclsk prototype

lnsol created repository lnsol/log-e-audioc 2025-06-13 10:54:22 +00:00

lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-05-23 12:13:07 +00:00

26d0d3158f drafting subtyping rules

lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-05-23 12:02:57 +00:00

55970b1baf starting to add code for name bindings

lnsol created branch subt-resurrection in lnsol/log-e-sappho 2025-05-19 10:17:11 +00:00

lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-05-19 10:17:11 +00:00

15fc99b8c8 notes for subtyping rules

lnsol pushed to main at lnsol/log-e-sappho 2025-05-05 11:05:07 +00:00

7e3c7c88ea added type grammar to readme, add example, del spho loc

lnsol pushed to main at lnsol/log-e-sappho 2025-05-01 16:16:18 +00:00

a22c9726cd sphophi decorating with types

lnsol created branch main in lnsol/log-e-sappho 2025-04-30 21:40:31 +00:00

lnsol pushed to main at lnsol/log-e-sappho 2025-04-30 21:40:31 +00:00

17be15d7b5 parsing prefix version (binary operators) of msph

7e5f080282 final directives parsing

9ac779c1cf prefix notation type parser

9b24c8a496 proper c flags

b9266cdf96 lexing up and running

Compare 10 commits »

lnsol created repository lnsol/log-e-sappho 2025-04-30 21:17:48 +00:00