lnsol

0 followers · 0 following

• Joined on 2025-04-30

Repositories

3

Projects Packages Public activity Starred repositories

lnsol pushed to main at lnsol/log-e-sappho 2025-06-27 23:40:40 +00:00

82241b237c oops

lnsol pushed to main at lnsol/log-e-sappho 2025-06-27 23:22:36 +00:00

f621081064 comment about tab width

lnsol pushed to main at lnsol/log-e-sappho 2025-06-27 23:08:33 +00:00

37c1f93902 updated with some code style and build instructions

lnsol pushed to main at lnsol/log-e-sappho 2025-06-27 22:25:41 +00:00

9db2cb800d cleaning up examples

lnsol pushed to main at lnsol/log-e-sappho 2025-06-27 22:20:58 +00:00

333534a8d1 fixing parsing

lnsol pushed to main at lnsol/log-e-sappho 2025-06-27 13:10:18 +00:00

0aa49cfe9b progress 2025-06-27

lnsol pushed to mattmeet at lnsol/log-e-sappho 2025-06-27 13:08:23 +00:00

f3618f1648 lol

lnsol pushed to main at lnsol/log-e-sappho 2025-06-27 02:23:55 +00:00

ad1d5776f8 fix typdef param shit

lnsol pushed to main at lnsol/log-e-sappho 2025-06-27 00:50:07 +00:00

33f38c03d6 infix parsing and prebind fixes

lnsol pushed to main at lnsol/log-e-sappho 2025-06-27 00:46:00 +00:00

65066c493e typo

lnsol pushed to main at lnsol/log-e-sappho 2025-06-25 23:28:09 +00:00

bc9d138960 added cmake presets

lnsol created branch mattmeet in lnsol/log-e-sappho 2025-06-25 20:03:07 +00:00

lnsol pushed to mattmeet at lnsol/log-e-sappho 2025-06-25 20:03:07 +00:00

429b59b2b3 progress 2025-06-25

lnsol pushed to main at lnsol/log-e-sappho 2025-06-25 19:18:43 +00:00

9669d4bba5 cleaning

lnsol pushed to main at lnsol/log-e-sappho 2025-06-25 18:40:27 +00:00

2d0661a8cd https url

lnsol pushed to main at lnsol/log-e-sappho 2025-06-25 18:37:32 +00:00

78e026a3aa Merge pull request 'type fixes and bindings + notes on subtyping' (#1) from subt-resurrection into main

c18f56f7be type fixes and bindings + notes on subtyping

Compare 2 commits »

lnsol deleted branch subt-resurrection from lnsol/log-e-sappho 2025-06-25 18:37:32 +00:00

lnsol merged pull request lnsol/log-e-sappho#1 2025-06-25 18:37:30 +00:00

type fixes and bindings + notes on subtyping

lnsol created pull request lnsol/log-e-sappho#1 2025-06-25 18:35:31 +00:00

type fixes and bindings + notes on subtyping

lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-25 18:34:13 +00:00

c18f56f7be type fixes and bindings + notes on subtyping