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-25 15:54:04 +00:00
f3c47b6cf5 added links to slides
lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-25 15:52:00 +00:00
42f14f2e84 added quick summary of cyclic proofs
lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-25 15:30:07 +00:00
8641443726 lol
lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-25 15:10:15 +00:00
d4106c7004 decisions decisions decisions...
lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-25 11:10:08 +00:00
0344ec69b0 starting subt implementation
7d23372846 added trace pairs
Compare 2 commits »
lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-24 14:53:46 +00:00
33b8a30610 cleaned up readme
lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-24 14:38:46 +00:00
78a4c6df6d contributions list
lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-24 14:33:41 +00:00
858f5c3eed scoped bindings
lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-18 19:19:04 +00:00
396716de09 cleaning up
lnsol pushed to master at lnsol/log-e-dotvim 2025-06-18 18:35:36 +00:00
717db48de8 readme
lnsol created branch master in lnsol/log-e-dotvim 2025-06-18 18:21:42 +00:00
lnsol pushed to master at lnsol/log-e-dotvim 2025-06-18 18:21:42 +00:00
5bad8ef7a8 cleaning up
8f38a1df7b stuff
530ae29767 stuff
efdd0d4735 merged shit
126dd0acd1 stuff
lnsol created repository lnsol/log-e-dotvim 2025-06-18 18:20:34 +00:00
lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-18 13:14:42 +00:00
14613724b5 clarification of covering
lnsol pushed to main at lnsol/log-e-audioc 2025-06-18 10:57:23 +00:00
f8e5a84bd1 remove drum code and read from audio hw instead
lnsol pushed to main at lnsol/log-e-audioc 2025-06-18 09:14:52 +00:00
9350f90a42 adjustments
lnsol pushed to subt-resurrection at lnsol/log-e-sappho 2025-06-17 21:19:49 +00:00
0ca279f18c added explainer for semantic subtyping of function types
lnsol pushed to main at lnsol/log-e-audioc 2025-06-14 20:44:05 +00:00
37bb77bc88 stuff
lnsol pushed to main at lnsol/log-e-audioc 2025-06-14 18:26:43 +00:00
67e4b2382b smoothing out the edges and bugs
lnsol pushed to main at lnsol/log-e-audioc 2025-06-14 15:17:11 +00:00
f3a619decc got it working, just a small bug left