root
0 followers · 0 following
  • Joined on 2025-04-17
Repositories
3
 Projects Packages Public activity Starred repositories
root pushed to master at root/logic 2025-08-12 05:27:53 +00:00
e46bcf6ddc nice readme, rename M to MIU system
root pushed to master at root/logic 2025-08-12 04:01:28 +00:00
b28263fdc3 logical laws: breadth first search
be7460ddf1 breadth first search
0e7bca0baa apply logical laws
d0ba6ce9d4 minor: substatements function, comments
0d13b807f0 another L derivation example
Compare 5 commits »
root pushed to master at root/logic 2025-08-10 16:09:30 +00:00
aeb441e06d language derivations: add hypotheses, L example
root pushed to master at root/logic 2025-08-10 15:56:23 +00:00
8a85dcfc8f formal language derivations
root pushed to master at root/logic 2025-08-10 15:55:26 +00:00
30839337a0 formal language derivations
root pushed to master at root/logic 2025-08-10 15:44:48 +00:00
4084aee3ca formal language derivations
e2aae59499 fix: language M rule 4 not removing late UUs
Compare 2 commits »
root pushed to master at root/logic 2025-08-10 13:42:18 +00:00
9233edfb4b formal language L
root pushed to master at root/logic 2025-08-10 13:32:57 +00:00
0b57fcd2d2 formal language L
ab8ed1c73c generalize parser symbols; parser monad
Compare 2 commits »
root pushed to master at root/logic 2025-08-10 09:17:13 +00:00
4d7fd8be7c formal languages
root pushed to master at root/logic 2025-08-08 08:14:52 +00:00
7eeb59c0e3 logical laws
root renamed repository from x64-httpd to root/x86_64-httpd 2025-08-08 05:02:42 +00:00
root pushed to master at root/logic 2025-08-08 05:02:05 +00:00
3447b3c0f1 makefile weirdness with $
root pushed to master at root/logic 2025-08-08 04:58:07 +00:00
acdbeee788 typo: Main.hs
root pushed to master at root/logic 2025-08-08 04:52:56 +00:00
f3d1125e1a typo: makefile regex
root created branch master in root/logic 2025-08-08 04:49:15 +00:00
root pushed to master at root/logic 2025-08-08 04:49:15 +00:00
c344be1bea readme
d781334419 split Logic.Statement into files, simpler serialization
0fa510e31a separate into files, parser error messages
68bc86c496 latex truth table: fix counting
f044938d74 latex truth table: fix table spec length
Compare 10 commits »
root created repository root/logic 2025-08-08 04:43:54 +00:00
root pushed to master at root/x86_64-httpd 2025-05-21 09:32:52 +00:00
fc1cc26b0f rewrite client__pollout
c16c82b15f server.s: use r15 not r10 for persisting thru syscalls
e31c9452c8 remove eagain experiment
21153b7d14 EAGAIN in constants.c
2a59922c01 succeed at finding EAGAIN by experiment: -11
Compare 6 commits »
root pushed to master at root/x86_64-httpd 2025-05-17 10:50:15 +00:00
2fea95e100 nice readme; fix makefile
root pushed to master at root/x86_64-httpd 2025-05-17 10:48:56 +00:00
9fc05526b1 nice readme; fix makefile